My research interests lie in studying various computational models, like state machines - automata, (stream) X-machines, membrane systems, generative devices - formal grammars, grammar systems, DNA based mechanisms, and in their applications to formal verification and testing, software engineering, systems & synthetic biology, artificial life, agent based systems. Further details are available here.
16th IEEE Int. Conf. on High Performance Computing and Communications, HPCC 2014, Paris, Czech France, August 20 - 22, 2014 (track on Biological/Molecular Computing). Deadline for submission: April 28, 2014. HPCC 2014 home page
15th Int. Conf. on Membrane Computing, CMC15, Prague, Czech Republic, August 20 - 22, 2014. Deadline for submission: April 28, 2014. CMC15 home page
13th Int. Conf. on Unconventional Computation & Natural Computation 2014, London, Ontario, Canada, July 14 - 18, 2014. Deadline for submission: March 7, 2014. UCNC14 home page
Computability in Europe 2014: Language, Life, Limits, Budapest, Hungary, June 23 - 27, 2014 CiE2014 home page
9th Int. Conf. on Bio-inspired Computing: Theory and Applications, BIC-TA 2014, Wuhan, China, October 16 - 19, 2014. Deadline for submission: May 31, 2014. BIC-TA 2014 home page
11th Int. Colloq. on Theoretical Aspects of Computing 2014 (ICTAC2014), Bucharest, Romania, September 17 - 20, 2014. Deadline for submission: March 16, 2014. ICTAC2014 home page
6th Int. Workshop on Non-Classical Models of Automata and Applications (NCMA 2014), Kassel, Germany, July 28 - 29, 2014. Deadline for submission: May 4, 2014. NCMA2014 home page
Membrane Computing Volumes:
Handbook of Membrane Computing; Oxford University Press (http://ukcatalogue.oup.com/ ), 2010. Editors Gh Păun, G. Rozenberg, A. Salomaa. Advisory board E. Csuhaj-Varju, R. Freund, M. Gheorghe, O.H. Ibarra, V. Manca, G. Mauri, M.J. Perez-Jimenez. A Chinese translation of the abstracts made by Prof Gexiang Zhang, Southwest Jiaotong University is available here as a PDF file (original translation here).
New! Applications of Membrane Computing in Systems and Synthetic Biology; Springer, Emergence, Complexity and Computation, Vol. 7 (link here) 2014. Editors P Frisco, M Gheorghe, M J Perez-Jimenez.
Membrane Computing (related) Special Issues:
Fundamenta Informaticae; Vol 131, No 3-4, 2014 (link here). Editors: C Calude, M Gheorghe
International Journal of Unconventional Computing; Vol 9, No 5-6, 2013 (link here). Editors: M Gheorghe, Gh Paun, M J Perez-Jimenez
In International Journal of Foundations of Computer Science; Vol 24, No 5: 547-624, 2013 - Research Frontiers of Membrane Computing: Open Problems and Research Topics (link here). Editors: M Gheorghe, Gh Paun, M J Perez-Jimenez, G Rozenberg
International Journal of Foundations of Computer Science; Vol 22, No 1, 2013 (link here). Editors: R Freund, M Gheorghe, S Marcus, V Mitrana
Biosystems; Vol 91, No 3, 2008 (link here). Editors M Gheorghe, N Krasnogor, M Camara
Membrane Computing Conferences in LNCS:
Eleventh Conference on Membrane Computing, Jena, Germany, August 2010 - proceedings in LNCS 6501 (link here)
Twelfth Conference on Membrane Computing, Paris, France, August 2011 - proceedings in LNCS 7184 (link here)
Thirteenth Conference on Membrane Computing, Budapest, Hungary, August 2012 - proceedings in LNCS 7762 (link here)
Fourteenth Conference on Membrane Computing, Chisinau, Moldova, August 2013 - proceedings in LNCS 8340 (link here)
I am Head of the Verification and Testing Group - VT.
· COM2070 Software Hut (2002 - 2004)
· COM2030 Machines and Languages (2004 - 05)
· COM2010 Functional Programming (2002 - 2007, 2008- )
· COM6030 Software Analysis and Design (2000-2002, 2005 - 2007)
· COM1001 (2013- 2014)
· About me