Flavio Melinte Citea is a PhD student in the Department of Informatics, King’s College London. He is working with Professor Mohammad Reza Mousavi on adapting techniques from classical software verification to quantum computing.

Also at King’s College London, he received his master’s degree in Computer Science in 2024. During his MSci, he completed a King’s Undergraduate Research Fellowship (KURF) on regular expression derivatives, under the supervision of Dr Christian Urban.

Thesis Title

Runtime verification of quantum programs

Research Group

• Software Systems

Research Interests

• Formal Methods
• Software Verification
• Quantum Computing

PhD Supervision

Primary: Professor Mohammad Reza Mousavi

Secondary: Dr Gunel Jahangirova