Dr. Marian Gheorghe, Reader

Department of Computer Science, The University of Sheffield,

Phone: +44 114 222 1843


Research:

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.

 

Events 2014:

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.


Teaching:

·         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)

·         ART - SESB

·         MSc Projects

·         3rd Year projects

·         Observatory projects

·         Darwin Projects

·         Lecture

 


Administration:

Director of IT


Others:

·         About me

·         Romania

·         Orthodox Parishes and Clergy in Sheffield and surroundings


Last update: 03/10/13