Professor Marian Gheorghe
50th Anniversary Chair
| Faculty/Dept/School |
Department of Computer Science (Faculty of Engineering and Informatics) |
|---|---|
| m.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-24 | PI | ForVAIA-SpIN: Formal Validation of Artificial Intelligence Applications - the case of Spiking Neural P Systems | 12000 |
Publications
| Title | Spiking neural P systems: matrix representation and formal verification (2021) |
|---|---|
| Authors | Marian Gheorghe, Raluca Lefticaru, Savas Konur, Ionut Mihai Niculescu, Henry N. Adorna |
| Journal | Journal of Membrane Computing |
| Publisher | Springer |
| DOI | https://doi.org/10.1007/s41965-021-00075-1 |
| Title | Toward Full-Stack In Silico Synthetic Biology: Integrating Model Specification, Simulation, Verification, and Biological Compilation (2021) |
| Authors | Savas Konur, Laurentiu Mierla, Harold Fellermann, Christophe Ladroue, Bradley Brown, Anil Wipat, Jamie Twycross, Boyang Peter Dun, Sara Kalvala, Marian Gheorghe, and Natalio Krasnogor |
| Journal | ACS Synthetic Biology |
| DOI | https://doi.org/10.1021/acssynbio.1c00143 |
| Title | Fundamental results for learning deterministic extended finite state machines from queries (2021) |
| Authors | Florentin Ipate, Marian Gheorghe, Raluca Lefticaru |
| Journal | Theoretical Computer Science |
| Publisher | Elsevier |
| DOI | https://doi.org/10.1016/j.tcs.2020.09.028 |
| Title | A Novel Application of Deep Learning with Image Cropping: A Smart Cities Use Case for Flood Monitoring (2020) |
| Authors | Bhupesh Kumar Mishra, Dhavalkumar Thakker, Suvodeep Mazumdar, Daniel Neagu, Marian Gheorghe & Sydney Simpson |
| Journal | Journal Of Reliable Intelligent Environments |
| Publisher | Springer |
| Title | KPWORKBENCH: A software suit for membrane systems (2020) |
| Authors | Konur S.;Mierlă L.;Ipate F.;Gheorghe M. |
| Journal | Softwarex |
| DOI | 10.1016/j.softx.2020.100407 |
| Title | A Novel Application of Deep Learning with Image Cropping: A Smart Cities Use Case for Flood Monitoring (2020) |
| Authors | Mishra, Bhupesh; Thakker, Dhavalkumar;Mazumdar, Suvodeep; Neagu, Daniel; Gheorghe, Marian; Simpson, Sydney |
| Title | A novel application of deep learning with image cropping: a smart city use case for flood monitoring (2020) |
| Authors | Mishra B.K.;Thakker D.;Mazumdar S.;Neagu D.;Gheorghe M.;Simpson S. |
| Journal | Journal Of Reliable Intelligent Environments |
| DOI | 10.1007/s40860-020-00099-x |
| Title | P colonies and kernel P systems (2018) |
| Authors | Csuhaj-Varju, E.; Gheorghe, Marian; Lefticaru, Raluca |
| Journal | International Journal of Advances in Engineering Sciences and Applied Mathematics |
| Publisher | Springer |
| DOI | https://doi.org/10.1007/s12572-018-0224-y |
| Title | Kernel P systems: from modelling to verification and testing (2018) |
| Authors | Gheorghe, Marian; Ceterchi, R.; Ipate, F.; Konur, Savas; Lefticaru, Raluca |
| Journal | Theoretical Computer Science |
| Publisher | Elsevier |
| DOI | https://doi.org/10.1016/j.tcs.2017.12.010 |
| Title | Automatic Selection of Verification Tools for Efficient Analysis of Biochemical Models (2018) |
| Authors | Bakir, M.E.; Konur, Savas; Gheorghe, Marian; Krasnogor, N.; Stannett, M. |
| Journal | Bioinformatics |
| DOI | https://doi.org/10.1093/bioinformatics/bty282 |
| Title | Further results on generalised communicating P systems (2017) |
| Authors | Krishna, S.N.; Gheorghe, Marian; Ipate, F.; Csuhaj-Varju, E.; Ceterchi, R. |
| Title | XXX_Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots (2016) |
| Authors | Wang X.;Zhang G.;Neri F.;Jiang T.;Zhao J.;Gheorghe M.;Ipate F.;Lefticaru R. |
| Journal | Integrated Computer-Aided Engineering |
| Publisher | IOS Press |
| DOI | 10.3233/ICA-150503 |
| Title | Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots (2016) |
| Authors | Wang, X.; Zhang, G.; Neri, F.; Jiang, T.; Zhao, J.; Gheorghe, Marian; Ipate, F.; Lefticaru, Raluca |
| Journal | Integrated Computer-Aided Engineering |
| Publisher | IOS Press |
| DOI | 10.3233/ICA-150503 |
| Title | Testing Based on Identifiable P Systems Using Cover Automata and X-Machines (2016) |
| Authors | Gheorghe, Marian; Ipate, F.; Konur, Savas |
| Journal | Information Sciences |
| DOI | https://doi.org/10.1016/j.ins.2016.08.028 |
| Title | A property-driven methodology for formal analysis of synthetic biology systems (2015) |
| Authors | Konur, Savas; Gheorghe, Marian |
| Journal | IEEE/ACM Transactions on Computational Biology and Bioinformatics |
| DOI | 10.1109/TCBB.2014.2362531 |
| Title | QEAM: An Approximate Algorithm Using P Systems with Active Membranes (2015) |
| Authors | Zhang, G.; Chen, J.; Gheorghe, Marian; Ipate, F.; Wang, X. |
| Title | Spatially localised membrane systems (2015) |
| Authors | Csuhaj-Varju, E.; Gheorghe, Marian; Stannett, M.; Vaszil, G. |
| Title | Integration testing of heterotic systems (2015) |
| Authors | Stannett, M.; Gheorghe, Marian |
| Title | Qualitative and quantitative analysis of systems and synthetic biology constructs using P systems (2015) |
| Authors | Konur, Savas; Gheorghe, Marian; Dragomir, C.; Mierla, L.M.; Ipate, F.; Krasnogor, N. |
| Journal | ACS Synthetic Biology |
| DOI | https://doi.org/10.1021/sb500134w |
| Title | Conventional verification for unconventional computing: a genetic XOR gate example (2014) |
| Authors | Konur, Savas; Gheorghe, Marian; Dragomir, C.; Ipate, F.; Krasnogor, N. |
| Journal | Fundamenta Informaticae |
| Title | Evolutionary membrane computing: A comprehensive survey and new results (2014) |
| Authors | Zhang, G.; Gheorghe, Marian; Pan, L.Q.; Perez-Jimenez, M.J. |
| Title | Dynamic Behavior Analysis of Membrane-Inspired Evolutionary Algorithms (2014) |
| Authors | Zhang, G.; Cheng, J.X.; Gheorghe, Marian |
| Title | Automatic design of deterministic and non-halting membrane systems by tuning syntactical ingredients (2014) |
| Authors | Zhang, G.; Rong, H.; Ou, Z.; Perez-Jimenez, M.J.; Gheorghe, Marian |
| Title | From kernel P systems to X-machines and FLAME (2014) |
| Authors | Niculescu, I.M.; Gheorghe, Marian; Ipate, F.; Stefanescu, A. |
| Title | 3-Col problem modelling using simple kernel P systems (2013) |
| Authors | Gheorghe M.;Ipate F.;Lefticaru R.;Pérez-Jiménez M.;Ţurcanu A.;Valencia Cabrera L.;García-Quismondo M.;Mierlǎ L. |
| Journal | International Journal of Computer Mathematics |
| DOI | 10.1080/00207160.2012.743712 |
| Title | A novel membrane algorithm based on particle swarm optimization for solving broadcasting problems (2012) |
| Authors | Zhang G.;Zhou F.;Huang X.;Cheng J.;Gheorghe M.;Ipate F.;Lefticaru R. |
| Journal | Journal of Universal Computer Science |
| Title | An empirical evaluation of P system testing techniques (2011) |
| Authors | Lefticaru R.;Gheorghe M.;Ipate F. |
| Journal | Natural Computing |
| Publisher | Springer |
| DOI | 10.1007/s11047-010-9188-y |
| Title | Test generation from P systems using model checking (2010) |
| Authors | Ipate F.;Gheorghe M.;Lefticaru R. |
| Journal | Journal of Logic and Algebraic Programming |
| DOI | 10.1016/j.jlap.2010.03.007 |
| Title | Model checking based test generation from P systems using p-lingua (2010) |
| Authors | Lefticaru R.;Ipate F.;Gheorghe M. |
| Journal | Romanian Journal of Information Science and Technology |
| Title | Membrane Computing Models: Implementations (2021) |
|---|---|
| Authors | Gexiang Zhang Mario J. Pérez-Jiménez Agustín Riscos-Núñez Sergey Verlan Savas Konur Thomas Hinze Marian Gheorghe |
| Publisher | Springer |
| DOI | https://doi.org/10.1007/978-981-16-1566-5 |
| Title | Identifiable kernel P systems (2018) |
|---|---|
| Authors | Gheorghe M.;Ipate F. |
| Journal | Lecture Notes in Computer Science |
| DOI | 10.1007/978-3-030-00265-7_11 |
| Title | Infobiotics Workbench - A P Systems Based Tool for Systems and Synthetic Biology (2014) |
| Authors | Blakes, J.; Twycross, J.; Konur, Savas; Romero-Campero, F.J.; Krasnogor, N.; Gheorghe, Marian |
| Journal | Applications of Membrane Computing in Systems and Synthetic Biolog |
| Publisher | Springer International Publishing |
| DOI | https://doi.org/10.1007/978-3-319-03191-0_1 |
| Title | Applications of Membrane Computing in Systems and Synthetic Biology (2014) |
|---|---|
| Authors | Frisco, P.; Gheorghe, Marian; Perez-Jimenez, M.J. |
| Other type | Editorial |
|---|---|
| Title | Preface (2018) |
| Authors | Gheorghe M.;Rozenberg G.;Salomaa A.;Zandron C. |
| Journal | Lecture Notes in Computer Science |
| Other type | Editorial |
| Title | Message from the EDMA-2017 Workshop Chairs (2018) |
| Authors | Campean F.;Gheorghe M.;Hall J.;Neagu D. |
| Journal | Proceedings - 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 |
| DOI | 10.1109/iThings-GreenCom-CPSCom-SmartData.2017.197 |
| Title | Author(s) |
|---|---|
| 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. |
| Spiking Neural P Systems Simulation and Verification (2020) | R Lefticaru, M Gheorghe, S Konur, IM Niculescu, and HN Adorna |
| 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 |
| An experimental comparison of ensemble classifiers for evolving data streams (2017) | Tambuwal A.;Neagu D.;Gheorghe 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 |
| Comparative analysis of statistical model checking tools (2017) | Bakir M.;Gheorghe M.;Konur S.;Stannett M. |
| Kernel P systems modelling, testing and verification - Sorting case study (2016) | Gheorghe M.;Ceterchi R.;Ipate F.;Konur S. |
| 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. |
| kPWorkbench: a software framework for Kernel P systems (2015) | Gheorghe, Marian; Ipate, F.; Mierla, L.M.; Konur, Savas |
| High performance simulations of kernel P systems (2014) | Bakir, M.E.; Konur, Savas; Gheorghe, Marian; Niculescu, I.M.; Ipate, F. |
| Modelling and stochastic simulation of synthetic biological Boolean gates (2014) | Sanassy, D.; Fellerman, H.; Krasnogor, N.; Konur, Savas; Mierla, L.M.; Gheorghe, Marian; Ladroue, C.; Kalvala, S. |
| 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. |
| A particle swarm optimization based on P systems (2010) | Zhou F.;Zhang G.;Rong H.;Cheng J.;Gheorghe M.;Ipate F.;Lefticaru R. |
| 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. |