Acest site este cofinantat din Fondul Social European prin Programul Operational Sectorial Dezvoltarea Resurselor Umane 2007-2013


Aman Bogdan
Facultatea de Matematica, Universitatea , Iasi
Anul Nasterii : 1982
Interese : sisteme mebranare, algebre de procese, retele Petri, teoria automatelor, teoria categoriilor
Detalii (ro) :
Educație

2010 - prezent Student postdoctoral, Universitatea "Alexandru Ioan Cuza" Iași
2005‐2009 Doctorat în Informatică, Institutul de Informatică Teoretică, Academia Română, Filiala Iași
2005‐2007 Masterat în Matematică-Informatică, Universitatea "Alexandru Ioan Cuza" Iași
2001‐2005 Licențiat în Matematică– Informatică, Universitatea "Alexandru Ioan Cuza" Iași

Experiența acumulată în programe de cercetare:

2008-2009 director de proiect CNCSIS TD 345/2008
2005-2008 membru in echipa de cercetare proiectul CNMP CEEX 47/2005
2006-2008 membru in echipa de cercetare proiectul CNMP CEEX 133/2006
2007-2010 membru in echipa de cercetare proiectul CNMP Parteneriate D1/1052/2007
2007-2010 membru in echipa de cercetare proiectul CNCSIS IDEI 402/2007

Burse de studiu:

• Universitatea Torino University (Italia) 2008 (15 Februarie-15 Mai 2008) Prof. M.Dezani-Ciancaglini;

Organizare manifestări:

• 2nd Workshop on Membrane Computing and Biologically Inspired Calculi (MeCBIC 2008), Iași, România
• 1st Workshop on Global Computing Models and Technologies (GlobalComp 2008), SYNASC, Timișoara, România
• 2nd Workshop on Global Computing Models and Technologies (GlobalComp 2009), SYNASC, Timișoara, România
• 3rd Workshop on Global Computing Models and Technologies (GlobalComp 2010), SYNASC, Timișoara, România
• 2nd High School Mathematics Contest “Gaudeamus”, “Al.I.Cuza” University, Faculty of Mathematics, Iași, România

Publicații:

Publicații ISI

1. B. Aman, G.Ciobanu. Timers and Proximities for Mobile Ambients. Lecture Notes in Computer Science, vol.4649, 33–43, 2007.
2. B. Aman, G.Ciobanu. Mobile Ambients with Timers and Types. Lecture Notes in Computer Science, vol.4711, 50–63, 2007.
3. B. Aman, G.Ciobanu. On the Reachability Problem in P Systems with Mobile Membranes. Lecture Notes in Computer Science, vol.4860, 113–123, 2007.
4. B. Aman, G. Ciobanu. On the Relationship Between Membranes and Ambients. Biosystems, vol.91(3), 515–530, 2008.
5. B. Aman, G.Ciobanu. Adding Lifetime to Objects and Membranes in P Systems. International Journal of Computers, Communication & Control, vol V(3), 268-279, 2010.

Jurnale

6. B. Aman, G.Ciobanu. Simple, Enhanced and Mutual Mobile Membranes.
Transactions on Computational Systems Biology XI, LNBI vol.5750, 26-44, 2009.

Lecture Notes in Computer Science, 2008-prezent

7. B. Aman, G.Ciobanu. Timed Mobile Ambients for Network Protocols. Lecture Notes in Computer Science, vol.5048, 234–250, 2008.
8. B. Aman, G.Ciobanu. Turing Completeness Using Three Mobile Membranes. Lecture Notes in Computer Science, vol.5715, 42–55, 2009.
9. B. Aman, G.Ciobanu. Typed Membrane Systems. Lecture Notes in Computer Science, vol.5957, 169–181, 2010.
10. B. Aman, G.Ciobanu. Formalizing the Behavior of Biological Processes
with Mobility. Lecture Notes in Computer Science, vol.6079, 187–187, 2010.

Electronic Notes in Theoretical Computer Science

11. B. Aman, G.Ciobanu. Describing the Immune System Using Enhanced
Mobile Membranes. Electronic Notes in Theoretical Computer Science, vol.194(3), 5–18, 2008.
12. B. Aman, G.Ciobanu. Translating Mobile Ambients into P Systems.
Electronic Notes in Theoretical Computer Science, vol.171(2), 11–23, 2007.
13. B. Aman, M. Dezani-Ciancaglini, A. Troina. Type Disciplines for Analysing Biologically Relevant Properties. Electronic Notes in Theoretical Computer Science, vol.227, 97–111, 2009.

IEEE

14. B. Aman, G.Ciobanu. Structural Properties and Observability in Membrane Systems. Proceedings of SYNASC07: 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, IEEE Computing Society, 74–81, 2007.
15. B. Aman, G.Ciobanu. Resource Competition and Synchronization in Membranes. Proceedings of SYNASC08: 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, IEEE Computing Society, 145-151, 2009.

Electronic Proceedings in Theoretical Computer Science

16. B. Aman, G.Ciobanu. Mutual Mobile Membranes with Timers. Electronic Proceedings in Theoretical Computer Science, vol.6, 1–15, 2009.

Conferințe Internaționale

17. B. Aman, G.Ciobanu. Mobile Ambients and Mobile Membranes. Proceedings of CiE 2007 (3th Conference on Computability in Europe), 16–27, 2007.
18. B. Aman, G.Ciobanu. Decidability Results for Mobile Membranes Derived from Mobile Ambients. Proceedings of CiE 2008 (4th Conference on Computability in Europe), 15–25, 2008.
19. B. Aman, G.Ciobanu. Membrane Systems with Surface Objects. Proceedings of the International Workshop on Computing with Biomolecules
(CBM 2008), 17–29, 2008.

Altele

20. B. Aman, G. Ciobanu. Computational Aspects of Mobile Membranes, Brane Calculi and Mobile Ambients. Scholarpedia, 5(7):9420, 2010. ISSN 1941-6016 (online)
21. B. Aman, G. Ciobanu. Formalizing the Low-Density Lipoprotein Degradation. Analele Universitąatžii din Bucuresti, Seria Matematica-Informatica, 2010. ISSN 1224-7170.

Book Chapters

22. B. Aman, G. Ciobanu. Mobile Membranes and Mobile Ambients. The Oxford Handbook of Membrane Computing. Oxford University Press, 2010.

Detalii (en) :
Education

2010 - Postdoctoral Fellowship, "Alexandru Ioan Cuza" University Iași
2005‐2009 PhD in Informatics, Institute of Computer Science, Romanian Academy, Iași Branch
2005‐2007 Msc in Matematics– Informatics, "Alexandru Ioan Cuza" University Iași
2001‐2005 Bsc in Matematics– Informatics, "Alexandru Ioan Cuza" University Iași

Research programs:

2008-2009 project manager CNCSIS TD 345/2008
2005-2008 member in research team in project CNMP CEEX 47/2005
2006-2008 member in research team in project CNMP CEEX 133/2006
2007-2010 member in research team in project CNMP Parteneriate D1/1052/2007
2007-2010 member in research team in project CNCSIS IDEI 402/2007

Scholarships:

• Research scholarship at Torino University (Italia) for 3 months in
2008 (15 February-15 May 2008) under the supervision of Prof. M.Dezani-
Ciancaglini;

Events organization:

• 2nd Workshop on Membrane Computing and Biologically Inspired Calculi (MeCBIC 2008), Iași, România
• 1st Workshop on Global Computing Models and Technologies (GlobalComp 2008), SYNASC, Timișoara, România
• 2nd Workshop on Global Computing Models and Technologies (GlobalComp 2009), SYNASC, Timișoara, România
• 3rd Workshop on Global Computing Models and Technologies (GlobalComp 2010), SYNASC, Timișoara, România
• 2nd High School Mathematics Contest “Gaudeamus”, “Al.I.Cuza” University, Faculty of Mathematics, Iași, România

Published Articles:

ISI Publications
1. B. Aman, G.Ciobanu. Timers and Proximities for Mobile Ambients. Lecture Notes in Computer Science, vol.4649, 33–43, 2007.
2. B. Aman, G.Ciobanu. Mobile Ambients with Timers and Types. Lecture Notes in Computer Science, vol.4711, 50–63, 2007.
3. B. Aman, G.Ciobanu. On the Reachability Problem in P Systems with Mobile Membranes. Lecture Notes in Computer Science, vol.4860, 113–123, 2007.
4. B. Aman, G. Ciobanu. On the Relationship Between Membranes and Ambients. Biosystems, vol.91(3), 515–530, 2008.
5. B. Aman, G.Ciobanu. Adding Lifetime to Objects and Membranes in P Systems. International Journal of Computers, Communication & Control, vol V(3), 268-279, 2010.

Journals

6. B. Aman, G.Ciobanu. Simple, Enhanced and Mutual Mobile Membranes.
Transactions on Computational Systems Biology XI, LNBI vol.5750, 26-44, 2009.

Lecture Notes in Computer Science, 2008-present

7. B. Aman, G.Ciobanu. Timed Mobile Ambients for Network Protocols. Lecture Notes in Computer Science, vol.5048, 234–250, 2008.
8. B. Aman, G.Ciobanu. Turing Completeness Using Three Mobile Membranes. Lecture Notes in Computer Science, vol.5715, 42–55, 2009.
9. B. Aman, G.Ciobanu. Typed Membrane Systems. Lecture Notes in Computer Science, vol.5957, 169–181, 2010.
10. B. Aman, G.Ciobanu. Formalizing the Behavior of Biological Processes
with Mobility. Lecture Notes in Computer Science, vol.6079, 187–187, 2010.

Electronic Notes in Theoretical Computer Science

11. B. Aman, G.Ciobanu. Describing the Immune System Using Enhanced
Mobile Membranes. Electronic Notes in Theoretical Computer Science, vol.194(3), 5–18, 2008.
12. B. Aman, G.Ciobanu. Translating Mobile Ambients into P Systems.
Electronic Notes in Theoretical Computer Science, vol.171(2), 11–23, 2007.
13. B. Aman, M. Dezani-Ciancaglini, A. Troina. Type Disciplines for Analysing Biologically Relevant Properties. Electronic Notes in Theoretical Computer Science, vol.227, 97–111, 2009.

IEEE

14. B. Aman, G.Ciobanu. Structural Properties and Observability in Membrane Systems. Proceedings of SYNASC07: 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, IEEE Computing Society, 74–81, 2007.
15. B. Aman, G.Ciobanu. Resource Competition and Synchronization in Membranes. Proceedings of SYNASC08: 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, IEEE Computing Society, 145-151, 2009.

Electronic Proceedings in Theoretical Computer Science

16. B. Aman, G.Ciobanu. Mutual Mobile Membranes with Timers. Electronic Proceedings in Theoretical Computer Science, vol.6, 1–15, 2009.

International Conferences

17. B. Aman, G.Ciobanu. Mobile Ambients and Mobile Membranes. Proceedings of CiE 2007 (3th Conference on Computability in Europe), 16–27, 2007.
18. B. Aman, G.Ciobanu. Decidability Results for Mobile Membranes Derived from Mobile Ambients. Proceedings of CiE 2008 (4th Conference on Computability in Europe), 15–25, 2008.
19. B. Aman, G.Ciobanu. Membrane Systems with Surface Objects. Proceedings of the International Workshop on Computing with Biomolecules
(CBM 2008), 17–29, 2008.

Others

20. B. Aman, G. Ciobanu. Computational Aspects of Mobile Membranes, Brane Calculi and Mobile Ambients. Scholarpedia, 5(7):9420, 2010. ISSN 1941-6016 (online)
21. B. Aman, G. Ciobanu. Formalizing the Low-Density Lipoprotein Degradation. Analele Universitąatžii din Bucuresti, Seria Matematica-Informatica, 2010. ISSN 1224-7170.

Book Chapters

22. B. Aman, G. Ciobanu. Mobile Membranes and Mobile Ambients. The Oxford Handbook of Membrane Computing. Oxford University Press, 2010.
Copyright © 2010 TMCod.com
SigmaLogic icon