Panagiotis Kouvaros
Panagiotis Kouvaros

I am an EPSRC Doctoral Prize Fellow in the Department of Computing at Imperial College London.

I work within the Verification of Autonomous Systems group led by Prof Alessio R. Lomuscio.

Research Interests

Swarms and Emergent Properties; Epistemic Logic; (Parameterised) Model Checking; Multi-Agent Systems.

Contact

Department of Computing
Imperial College London
Room 558, Huxley Building
180 Queen's Gate
London, SW7 2AZ

Email: p.kouvaros[at]imperial.ac.uk