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 GonzalezResearch Assistant
Department of Computing
Imperial College London
Room 449, Huxley Building
180 Queen's Gate
SW7 2AZ, London (UK)
email: pg809
doc.ic.ac.ukLast update on 26/11/10.