About me

I hold a PhD in Computer Science from the University of Sheffield, with a thesis entitled "Theory of X-machines with Applications in Specification and Testing", supervised by Professor Mike Holcombe and nominated for the UK Distinguished Dissertation Award in Computer Science. I also hold an MSc in Software Systems Technology (with Distinction) from the same university and an MEng in Computer Science and Automatic Control from the Politehnica University of Bucharest.

I am an editor for Springer's Journal of Membrane Computing.

I have served on the programme committee for several editions of ICST (IEEE International Conference on Software Testing, Verification and Validation), SEFM (International Conference on Software Engineering and Formal Methods), ICMC/CMC (International Conference on Membrane Computing), BIC-TA (International Conference on Bio-inspired Computing: Theories and Applications), A-MOST (Advances in Model-Based Testing), and VALID (International Conference on Advances in System Testing and Validation Lifecycle). I was also the general chair of ICTAC (International Colloquium on Theoretical Aspects of Computing) in 2014.

PhD Students (completed)

• Mihail-Iulian Pleșa (2025) — Security Aspects of Membrane Computing
• Ștefania Loredana Niță (2020) — Contributions to Searchable and Homomorphic Encryption
• Ana Cristina Iova (Țurlea) (2020) — Model based Testing using Evolutionary Approaches
• Laurențiu Mierlă (2019, joint with Prof. Tudor Bălănescu) — Integrated Modelling, Simulation and Verification in P Systems and Synthetic Biology
• Ionuț Mihai Niculescu (2018, joint with Prof. Tudor Bălănescu) — Simulation of Kernel P Systems Using Communicating X-Machines - Applications in FLAME
• Adrian Țurcanu (2013) — Modelling, testing and verification of biology inspired systems
• Raluca Lefticaru (2011) — Testing methods based on formal specifications