Skip to content
researcher

Professor Marian Gheorghe

50th Anniversary Chair

Faculty/Dept/School Department of Computer Science
(Faculty of Engineering and Informatics)
Emailm.gheorghe@bradford.ac.uk
Telephone +441274 233930

Biography

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.

Research

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
12000

Publications

Peer Reviewed Journal
TitleFundamental results for learning deterministic extended finite state machines from queries (2021)
AuthorsFlorentin Ipate, Marian Gheorghe, Raluca Lefticaru
JournalTheoretical Computer Science
PublisherElsevier
DOIhttps://doi.org/10.1016/j.tcs.2020.09.028
 
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
PublisherSpringer
DOIhttps://doi.org/10.1007/s41965-021-00075-1
 
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
DOIhttps://doi.org/10.1021/acssynbio.1c00143
 
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.
JournalSoftwarex
DOI10.1016/j.softx.2020.100407
 
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
DOI10.1007/s40860-020-00099-x
 
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
PublisherSpringer
 
TitleP colonies and kernel P systems (2018)
AuthorsCsuhaj-Varju, E.; Gheorghe, Marian; Lefticaru, Raluca
JournalInternational Journal of Advances in Engineering Sciences and Applied Mathematics
PublisherSpringer
DOIhttps://doi.org/10.1007/s12572-018-0224-y
 
TitleKernel P systems: from modelling to verification and testing (2018)
AuthorsGheorghe, Marian; Ceterchi, R.; Ipate, F.; Konur, Savas; Lefticaru, Raluca
JournalTheoretical Computer Science
PublisherElsevier
DOIhttps://doi.org/10.1016/j.tcs.2017.12.010
 
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
DOI10.3233/ICA-150503
 
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
DOI10.3233/ICA-150503
 
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
DOI10.1080/00207160.2012.743712
 
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
PublisherSpringer
DOI10.1007/s11047-010-9188-y
 
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
DOI10.1016/j.jlap.2010.03.007
 
Book
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
PublisherSpringer
DOIhttps://doi.org/10.1007/978-981-16-1566-5
 
Book Chapters
TitleIdentifiable kernel P systems (2018)
AuthorsGheorghe M.;Ipate F.
JournalLecture Notes in Computer Science
DOI10.1007/978-3-030-00265-7_11
 
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
DOI10.1109/iThings-GreenCom-CPSCom-SmartData.2017.197
 
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.