Computational Modelling Research Unit

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, British Council and has been included in some international projects abroad - China and Romania - as scientific advisor and collaborator.

More about Marian here>>

Research Groups: Applied Mathematics Research Groups: Applied Mathematics RESEARCH IN QUANTUM COMPUTING Finite Quantum Systems. Galois fields in Quantum Computing and applications to coding and cryptography Algebraic number theory (e.g., p-adic numbers) in Quantum Mechanics and harmonic analysis. Analytic functions in quantum computing Group theory methods (e.g., profinite groups) in quantum computing Lattices, topology and logic in the context of quantum computing Time-frequency analysis, wavelets, applications to large data analysis. Mesoscopic Josephson devices RESEARCH IN QUANTUM COMPUTING Finite Quantum Systems. Galois fields in Quantum Computing and applications to coding and cryptography Algebraic number theory (e.g., p-adic numbers) in Quantum Mechanics and harmonic analysis. Analytic functions in quantum computing Group theory methods (e.g., profinite groups) in quantum computing Lattices, topology and logic in the context of quantum computing Time-frequency analysis, wavelets, applications to large data analysis.

More about Apostol here>>

Savas Konur is a Reader in the Department of Computer Science, University of Bradford, where he was previously Lecturer and Senior Lecturer. He received the B.Sc., M.Sc. and Ph.D. degrees in Computer Science from METU (Turkey), RWTH Aachen (Germany) and University of Manchester (UK), respectively. He previously held positions in the Verification and Testing Group (Department of Computer Science) at University of Sheffield and the Logic and Computation Group (Department of Computer Science) at University of Liverpool. His research interests involve Formal Methods (mainly modeling, verification and analysis of complex, concurrent and stochastic systems) and design/development of software systems/tools/methods facilitating Formal Methods in various application areas, including Systems and Synthetic Biology, Ubiquitous Systems, Real-time Systems, Safety-critical Systems, Autonomous Systems and Multi-agent & Systems. Dr Konur is an experienced researcher and involved in several research projects, requiring a wide range of interdisciplinary collaborations both across other research institutes within the university and with external partners. He has published his results in numerous leading journals and conferences. In addition, he was involved in the development of various software and programmes, and worked on different phases of software development life cycle, including requirement engineering and testing.

More about Savas here>>

Dr Ci Lei has been a Lecturer in Computing at the School of Electrical Engineering and Computer Science, University of Bradford, since October 2013. Prior to this position, he also worked as a post-doctoral research associate at Lancaster University. He has industrial experience in software development, working on various projects including Technology Strategy Board (TSB) funded ones (this is now Innovative UK). Dr Ci Lei has a PhD in Computer Science from University of Bradford. His main research interests are in the areas related to Computer Science including quantum communications and quantum information processing, time-frequency analysis, and large scale data analysis. He has published research articles in leading international journals, given talks at international conferences, has been an invited speaker at various research seminars, and acted as a reviewer for leading international journals such as the Journal of the Optical Society of America. Dr Ci Lei is a Member of IEEE and a Fellow of the Higher Education Academy (HEA). He has taught various computer science and mathematics subjects at both undergraduate (UG) and postgraduate (PG) levels, which includes, UG: Statistics; Fundamental Mathematics; Software Development; Computer Architecture and System Softwares; Numerical Analysis; Differential Equations; Automation and Control; Computer Graphics PG: Computer Crime Investigation; Incident Response and Novel Approaches to Security Dr Ci Lei has jointly supervised four PhD students to completion (2017) and is currently jointly supervising 4 PhD students.

More about Ci here>>

Member of BCS and HEA Main Teaching Responsibilities: Information Systems Analysis and Design, Human Computer Interaction (HCI), Information Engineering, Web Engineering, Real-Time Systems, Web Technologies. UG and PG Projects Programme Leader for Franchise courses at MDIS(Singapore) and INTI(Malaysia) 2005-20014 Research Interests: Document and Text Management, Software Performance Engineering and Networks and Performance Engineering Previous Employment/Occupations/Posts held: Senior Software Engineer 1999-2001 Research Assistant, Bradford Univ. 1995-1997

More about Karim here>>

Raluca is a Lecturer in Computer Science at the University of Bradford and a Visiting Researcher at the University of Sheffield.  Her research interests include software testing, especially state-machine based testing using evolutionary approaches, formal specification methodologies, P systems testing and verification. 

Personal website: https://ralucalefticaru.github.io/

More about Raluca here>>

I am a Lecturer in the Department of Computer Science, University of Bradford. I am also an Associate Fellow of the HEA. I received my PhD in Computer Science and MSc in Embedded Systems from the University of Hull in 2016 and 2012, respectively. I obtained my BSc degree in Computer Science and Engineering from Bangladesh University of Professionals. Prior to joining the University of Bradford, I was a Research Associate in the Dependable Intelligent Systems (DEIS) Research Group at the University of Hull. In 2011, I worked as a Lecturer in the Department of Computer Science and Engineering at the Asian University of Bangladesh.

My research primarily focuses on safety, reliability, and security assurance and certification of cyber physical autonomous systems. I also have interests in model-based safety analysis, probabilistic risk assessment, dynamic reliability analysis, and stochastic modelling and analysis. I have published over 30 papers in these areas. I have contributed to EU projects on safety, including MAENAD and DEIS, working with Siemens, General Motors, Volvo, Continental, and DNV-GL, among others. In 2018, I received the research excellence award from the University of Hull.

More information about my teaching and research activities can be found on my personal website.

Find out more about Sohag on his staff page.