Bogdan Aman researcher

Welcome to my Personal Page!


Here is a list with some general fields i'm interested in:

  • Membrane Computing
  • Process Algebra
  • Petri Nets
  • Formal Languages
  • Automata Theory

I am currently working with Gabriel Ciobanu.
An up-to-date CV can be found here.

Professional Experience

Positions and Employment

  • Oct.2011-Nov.2014
  • Postdoctoral researcher in project IDEI PN-II-ID-PCE-2011-3-0919
  • Jul.2010-Mar.2013
  • Postdoctoral researcher in project POSDRU/89/1.5/S/49944
  • Nov.2008-Oct.2009
  • Project manager in project CNCSIS TD 345/2008
  • Nov.2007-Oct.2010
  • Research assistant in project CNCSIS IDEI 402/2007
  • Nov.2007-Oct.2010
  • Research assistant in project CNMP PARTENERIATE D1/1052/2007
  • Nov.2006-Oct.2008
  • Research assistant in project CNMP CEEX 133/2006
  • Nov.2005-Oct.2008
  • Research assistant in project CNMP CEEX 47/2005
  • Nov. 2005 - Oct. 2009
  • PhD Student, Romanian Academy, Iasi Branch - Institute of Computer Science
  • Sept.2005 - Dec. 2005
  • Mathematics Teacher, "I. Holban" High School, Iasi, Romania

Other Experience

  • Feb.2008 - May 2008
  • Research scholarship at Torino University (Italia) under the supervision of Prof. M.Dezani-Ciancaglini;

Academic Degrees

  • 2009
  • Ph.D. in Computer Science, Romanian Academy, Institute of Computer Science, Iasi, Romania.
    Thesis: Spatial Dynamic Structures and Mobility in Computation
    Advisor: Gabriel Ciobanu
  • 2007
  • Master degree in Mathematics and Computer Science, Al. I. Cuza University, Iasi, Romania
  • 2005
  • Licentiate in in Mathematics and Computer Science, Al. I. Cuza University, Iasi, Romania




Technical Reports



The 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2012) took place in Newcastle on 8th September 2012 as a related event of CONCUR 2012, the 23rd International Conference on Concurrency Theory.

The modeling and the analysis of biological systems has attracted the interest of several research communities. The notion of compartments appears in rule-based formalisms as membrane computing, and in several process calculi (e.g., bio-ambients, brane calculi). A cross fertilization of various research areas has recently started; a deeper investigation of the relations between these related formalisms is interesting, as it is important to understand the similarities and the differences.

The main aim of the workshop is to bring together researchers working in these biologically inspired formalisms (membrane systems, Petri nets, ambient and brane calculi, their stochastic approaches, etc.) to present recent results and to discuss new ideas concerning such formalisms, their properties and relationships. Original research papers on biologically inspired process calculi are sought. Papers on the relationship between membrane systems and biologically inspired process calculi are welcome. Related formal approaches in which cell compartments play an important role are also within the scope of the workshop. Topics of interest include (but are not limited to):

  • Biologically inspired models and calculi;
  • Biologically inspired systems and their applications;
  • Analysis of properties of biologically inspired models and languages;
  • Theoretical links and comparison between different models/systems.

Contact Information

Office Location

Blvd. Carol I, no.8, 700505
Iasi, Romania


baman 'at'
bogdan.aman 'at'


+40 743 079 677


Linkedin profile         Twitter profile (@BogdanAman)