Pavel GonzalezI 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
Department of Computing
Imperial College London
Room 449, Huxley Building
180 Queen's Gate
SW7 2AZ, London (UK)
Last update on 26/11/10.