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.