Skip to content

Professor Marian Gheorghe

50th Anniversary Chair

Faculty/Dept/School Department of Computer Science
(Faculty of Engineering and Informatics)
Telephone +441274 233930


Education and Teaching

Professor Gheorghe obtained his PhD and BSc in Mathematics and Computer Science from the University of Bucharest. He has taught extensively topics in core Computer Science - data structures and algorithms, compiler construction, formal languages and automata, discrete mathematics, different programming language concepts and Software Engineering - software analysis and design, group projects, software testing.

Personal interests 

I am a Christian, member of the Orthodox Church where I was ordained sub-deacon. I can provide information and advice related to Orthodox communities and churches in Yorkshire and surroundings. If you are interested please contact via email.


Professor Gheorghe's research interests are in computational models and software engineering. He is interested in various computational models like rewriting systems - formal grammars, multiset rewriting -, automata, process algebras and Petri nets. He has a special interest in new classes of unconventional computational models, especially membrane systems and their connections with other (unconventional) computational models - Petri nets, process algebras, L-systems, reactive systems etc. He is also interested in formally verifying such models by using model checking approaches. Professor Gheorghe is also interested in model-based testing and connections with formal verification. He has been working with large scale simulations, based on formal models, and contributed to building adequate software platforms for such approaches. He is also interested in applications of formal specifications and formal verification methods and tools in computational and synthetic biology, but also in autonomous systems. He served as the Chair of the Steering Committee of the Conference on Membrane Computing between 2010 - 2014, the main research forum of the membrane computing community, editing the proceedings of these events with Springer, in Lecture Notes in Computer Science Series. He has connections and active collaborations with many prestigious Universities and research groups in the world, being invited to give lectures and providing guidance to PhD students. Professor Gheorghe's research has been funded by EPSRC, EU, Royal Academy of Engineering, Royal Society, British Council and has been included in some international projects abroad - China and Romania - as scientific advisor and collaborator.
Date Role Title / Description Funder Award
31-MAR-22 - 30-MAR-24PIForVAIA-SpIN: Formal Validation of Artificial Intelligence Applications - the case of Spiking Neural P Systems


Peer Reviewed Journal
TitleFundamental results for learning deterministic extended finite state machines from queries (2021)
AuthorsFlorentin Ipate, Marian Gheorghe, Raluca Lefticaru
JournalTheoretical Computer Science
TitleSpiking neural P systems: matrix representation and formal verification (2021)
AuthorsMarian Gheorghe, Raluca Lefticaru, Savas Konur, Ionut Mihai Niculescu, Henry N. Adorna
JournalJournal of Membrane Computing
TitleToward Full-Stack In Silico Synthetic Biology: Integrating Model Specification, Simulation, Verification, and Biological Compilation (2021)
AuthorsSavas Konur, Laurentiu Mierla, Harold Fellermann, Christophe Ladroue, Bradley Brown, Anil Wipat, Jamie Twycross, Boyang Peter Dun, Sara Kalvala, Marian Gheorghe, and Natalio Krasnogor
JournalACS Synthetic Biology
TitleA Novel Application of Deep Learning with Image Cropping: A Smart Cities Use Case for Flood Monitoring (2020)
AuthorsMishra, Bhupesh; Thakker, Dhavalkumar;Mazumdar, Suvodeep; Neagu, Daniel; Gheorghe, Marian; Simpson, Sydney
TitleKPWORKBENCH: A software suit for membrane systems (2020)
AuthorsKonur S.;Mierlă L.;Ipate F.;Gheorghe M.
TitleA novel application of deep learning with image cropping: a smart city use case for flood monitoring (2020)
AuthorsMishra B.K.;Thakker D.;Mazumdar S.;Neagu D.;Gheorghe M.;Simpson S.
JournalJournal Of Reliable Intelligent Environments
TitleA Novel Application of Deep Learning with Image Cropping: A Smart Cities Use Case for Flood Monitoring (2020)
AuthorsBhupesh Kumar Mishra, Dhavalkumar Thakker, Suvodeep Mazumdar, Daniel Neagu, Marian Gheorghe & Sydney Simpson
JournalJournal Of Reliable Intelligent Environments
TitleP colonies and kernel P systems (2018)
AuthorsCsuhaj-Varju, E.; Gheorghe, Marian; Lefticaru, Raluca
JournalInternational Journal of Advances in Engineering Sciences and Applied Mathematics
TitleKernel P systems: from modelling to verification and testing (2018)
AuthorsGheorghe, Marian; Ceterchi, R.; Ipate, F.; Konur, Savas; Lefticaru, Raluca
JournalTheoretical Computer Science
TitleAutomatic Selection of Verification Tools for Efficient Analysis of Biochemical Models (2018)
AuthorsBakir, M.E.; Konur, Savas; Gheorghe, Marian; Krasnogor, N.; Stannett, M.
TitleFurther results on generalised communicating P systems (2017)
AuthorsKrishna, S.N.; Gheorghe, Marian; Ipate, F.; Csuhaj-Varju, E.; Ceterchi, R.
TitleDesign and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots (2016)
AuthorsWang, X.; Zhang, G.; Neri, F.; Jiang, T.; Zhao, J.; Gheorghe, Marian; Ipate, F.; Lefticaru, Raluca
JournalIntegrated Computer-Aided Engineering
PublisherIOS Press
TitleTesting Based on Identifiable P Systems Using Cover Automata and X-Machines (2016)
AuthorsGheorghe, Marian; Ipate, F.; Konur, Savas
TitleXXX_Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots (2016)
AuthorsWang X.;Zhang G.;Neri F.;Jiang T.;Zhao J.;Gheorghe M.;Ipate F.;Lefticaru R.
JournalIntegrated Computer-Aided Engineering
PublisherIOS Press
TitleIntegration testing of heterotic systems (2015)
AuthorsStannett, M.; Gheorghe, Marian
TitleA property-driven methodology for formal analysis of synthetic biology systems (2015)
AuthorsKonur, Savas; Gheorghe, Marian
TitleQualitative and quantitative analysis of systems and synthetic biology constructs using P systems (2015)
AuthorsKonur, Savas; Gheorghe, Marian; Dragomir, C.; Mierla, L.M.; Ipate, F.; Krasnogor, N.
TitleQEAM: An Approximate Algorithm Using P Systems with Active Membranes (2015)
AuthorsZhang, G.; Chen, J.; Gheorghe, Marian; Ipate, F.; Wang, X.
TitleSpatially localised membrane systems (2015)
AuthorsCsuhaj-Varju, E.; Gheorghe, Marian; Stannett, M.; Vaszil, G.
TitleEvolutionary membrane computing: A comprehensive survey and new results (2014)
AuthorsZhang, G.; Gheorghe, Marian; Pan, L.Q.; Perez-Jimenez, M.J.
TitleConventional verification for unconventional computing: a genetic XOR gate example (2014)
AuthorsKonur, Savas; Gheorghe, Marian; Dragomir, C.; Ipate, F.; Krasnogor, N.
TitleAutomatic design of deterministic and non-halting membrane systems by tuning syntactical ingredients (2014)
AuthorsZhang, G.; Rong, H.; Ou, Z.; Perez-Jimenez, M.J.; Gheorghe, Marian
TitleDynamic Behavior Analysis of Membrane-Inspired Evolutionary Algorithms (2014)
AuthorsZhang, G.; Cheng, J.X.; Gheorghe, Marian
TitleFrom kernel P systems to X-machines and FLAME (2014)
AuthorsNiculescu, I.M.; Gheorghe, Marian; Ipate, F.; Stefanescu, A.
Title3-Col problem modelling using simple kernel P systems (2013)
AuthorsGheorghe M.;Ipate F.;Lefticaru R.;Pérez-Jiménez M.;Ţurcanu A.;Valencia Cabrera L.;García-Quismondo M.;Mierlǎ L.
JournalInternational Journal of Computer Mathematics
TitleA novel membrane algorithm based on particle swarm optimization for solving broadcasting problems (2012)
AuthorsZhang G.;Zhou F.;Huang X.;Cheng J.;Gheorghe M.;Ipate F.;Lefticaru R.
JournalJournal of Universal Computer Science
TitleAn empirical evaluation of P system testing techniques (2011)
AuthorsLefticaru R.;Gheorghe M.;Ipate F.
JournalNatural Computing
TitleModel checking based test generation from P systems using p-lingua (2010)
AuthorsLefticaru R.;Ipate F.;Gheorghe M.
JournalRomanian Journal of Information Science and Technology
TitleTest generation from P systems using model checking (2010)
AuthorsIpate F.;Gheorghe M.;Lefticaru R.
JournalJournal of Logic and Algebraic Programming
Title Membrane Computing Models: Implementations (2021)
AuthorsGexiang Zhang Mario J. Pérez-Jiménez Agustín Riscos-Núñez Sergey Verlan Savas Konur Thomas Hinze Marian Gheorghe
Book Chapters
TitleIdentifiable kernel P systems (2018)
AuthorsGheorghe M.;Ipate F.
JournalLecture Notes in Computer Science
TitleInfobiotics Workbench - A P Systems Based Tool for Systems and Synthetic Biology (2014)
AuthorsBlakes, J.; Twycross, J.; Konur, Savas; Romero-Campero, F.J.; Krasnogor, N.; Gheorghe, Marian
Edited Book
TitleApplications of Membrane Computing in Systems and Synthetic Biology (2014)
AuthorsFrisco, P.; Gheorghe, Marian; Perez-Jimenez, M.J.
Other Publications
Other typeEditorial
TitlePreface (2018)
AuthorsGheorghe M.;Rozenberg G.;Salomaa A.;Zandron C.
JournalLecture Notes in Computer Science
Other typeEditorial
TitleMessage from the EDMA-2017 Workshop Chairs (2018)
AuthorsCampean F.;Gheorghe M.;Hall J.;Neagu D.
JournalProceedings - 2017 IEEE International Conference on Internet of Things, IEEE Green Computing and Communications, IEEE Cyber, Physical and Social Computing, IEEE Smart Data, iThings-GreenCom-CPSCom-SmartData 2017
Title Author(s)
Spiking Neural P Systems Simulation and Verification (2021)R Lefticaru, M Gheorghe, S Konur, IM Niculescu, and HN Adorna
Automated Contextual Anomaly Detection for Network Interface Bandwidth Utilisation: A Case Study in Network Capacity Management (2021)Zadeh E.;Amstutz S.;Collins J.;Ingham C.;Gheorghe M.;Konur S.
Formal Modelling of Cruise Control System Using Event-B and Rodin Platform (2019)Predut S.;Ipate F.;Gheorghe M.;Campean F.
Agent based micro-simulation of a passenger rail system using customer survey data and an activity based approach (2019)Makinde O.;Neagu D.;Gheorghe M.
Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering (2018)Lefticaru R.;Konur S.;Yildirim U.;Uddin A.;Campean F.;Gheorghe M.
Testing Identifiable Kernel P Systems using an X-machine Approach (2018)Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ana Turlea
Kernel P systems modelling, testing and verification - Sorting case study (2017)Gheorghe M.;Ceterchi R.;Ipate F.;Konur S.
Comparative analysis of statistical model checking tools (2017)Bakir M.;Gheorghe M.;Konur S.;Stannett M.
Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering (2017)Lefticaru, Raluca; Konur, Savas; Yildirim, Unal; Uddin, Amad; Campean, I. Felician; Gheorghe, Marian
An experimental comparison of ensemble classifiers for evolving data streams (2017)Tambuwal A.;Neagu D.;Gheorghe M.
An integrated model checking toolset for kernel P systems (2015)Gheorghe M.;Konur S.;Ipate F.;Mierla L.;Bakir M.;Stannett M.
Agent-based high-performance simulation of biological systems on the GPU (2015)Konur S.;Kiran M.;Gheorghe M.;Burkitt M.;Ipate F.
Modelling and stochastic simulation of synthetic biological boolean gates (2014)Sanassy D.;Fellermann H.;Krasnogor N.;Konur S.;Mierla L.;Gheorghe M.;Ladroue C.;Kalvala S.
Kernel P systems: Applications and Implementations (2013)Ipate F.;Lefticaru R.;Mierlǎ L.;Cabrera L.;Han H.;Zhang G.;Dragomir C.;Jiménez M.;Gheorghe M.
An integrated approach to P systems formal verification (2010)Gheorghe M.;Ipate F.;Lefticaru R.;Dragomir C.
Tuning P systems for solving the broadcasting problem (2010)Lefticaru R.;Ipate F.;Gheorghe M.;Zhang G.
A particle swarm optimization based on P systems (2010)Zhou F.;Zhang G.;Rong H.;Cheng J.;Gheorghe M.;Ipate F.;Lefticaru R.