Pavel Gonzalez

I am a Research Assistant and a first year Ph.D. student in the Department of Computing within the Verification of Autonomous Systems group at Imperial College London. I am working under the supervision of Dr. Alessio Lomuscio on Artifact-Centric Service Interoperation, a three year European FP7 research project.

I obtained MSc degree in Computing (Artificial Intelligence) at the same department in 2010, and BSc degree in Mathematics and Computer Science at King's College London in 2009.

Broadly speaking, I am interested in artificial intelligence and quantum computing. In particular, my research interests include automatic verification and model-checking, applied logics, applied probability, quantum information and quantum knowledge.

MSc Individual Project:

Automatic Verification of Quantum Protocols with MCMAS. The project proposed a technique for translating quantum multi-agent systems described in the language of Distributed Measurement-based Quantum Computation into ISPL, a formal input language of MCMAS model checker. To make the whole verification process automatic, dmc2ispl, a source-to-source compiler, have been implemented.

Resources: The dissertation and source code of the compiler.

Contact details:

Pavel Gonzalez
Research Assistant
Department of Computing

Imperial College London
Room 449, Huxley Building
180 Queen's Gate
SW7 2AZ, London (UK)


Last update on 26/11/10.