Dr Panagiotis Kouvaros

Assistant Professor of Artificial Intelligence
and Data Science

Co-director of the MSc inComputer
Science & Business Technologies

About Dr Panagiotis Kouvaros

Assistant Professor of Artificial Intelligence and Data Science
Co-director of the MSc in Computer Science & Business Technologies

EXPERTISE

My research is in safe artificial intelligence, the adversarial verification, robust training and explainability of neural networks, the model checking of agent swarm systems, and the verification of neural-symbolic systems.

SHORT BIO

I am an Assistant Professor of Artificial Intelligence and Data Science and a co-director of the MSc in Computer Science & Business Technologies at the University of Limassol. I am additionally a co-founder and Research Consultant for Safe Intelligence, a venture-backed spin-out of Imperial College London. I was previously a Research Fellow at the Verification of Autonomous Systems Group at Imperial College London. Prior to that, I was an Imperial College London EPSRC Doctoral Prize Fellow. I hold a PhD in Computer Science from Imperial College London (2016). I have published over 20 conference and journal articles on safe artificial intelligence. I was selected for an IJCAI 2023 Early Career Spotlight Talk.

Personal Information

Name Panagiotis Kouvaros
Address Limassol Campus 1: 92, Agias Fylaxeos, 3025 Limassol, Cyprus
Email pkouvaros@uol.ac.cy
Phone +357 25261164

Publications

SELECTED PUPLICATIONS

Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification. P. Kouvaros, B. Brückner, P. Henriksen, A. Lomuscio. Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence (AAAI25). Phildelphia, Pennsylvania, USA.
Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation. B. Batten, Y. Zheng, A. De Palma, P. Kouvaros and A. Lomuscio. Proceedings of the 27th European Conference on Artificial Intelligence (ECAI24). Santiago de Compostela, Spain.
Formal Verification of Parameterised Neural-symbolic Multi-agent Systems. P. Kouvaros, E. Botoeva, C. Bonis-Campbel. Proceedings of the 33rd Joint International Conference on Artificial Intelligence ( IJCAI24). Jeju, South Korea.
P. Kouvaros. Towards Formal Verification of Neuro-symbolic Multi-agent Systems. In Proceedings of the 33th International Joint Conference on Artificial Intelligence (IJCAI23), 2023.
P. Kouvaros, F. Leofante, B. Edwards, C. Chung, D. Margineantu and A. Lomuscio. Verification of Semantic Key Point Detection for Aircraft Pose Estimation. In Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR23), 2023.
M. Akintunde, E. Botoeva, P. Kouvaros, A. Lomuscio. Lomuscio. Verifying Strategic Abilities of Neural Multi-Agent Systems. In 17th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2023), 2023.
M. Akintunde, E. Botoeva, P. Kouvaros, A. Lomuscio. Formal Verification of Neural Agents in Non-deterministic Environments. Journal of Autonomous Agents and Multi-Agent Systems, 2021.
V. Hashemi, P. Kouvaros, A. Lomucio. OSIP: Tightened Bound Propagation for the Ver- ification of ReLU Neural Networks. In Proceedings of the 19th Interational Conference on Software Engineering and Formal Methods (SEFM21), 2021.
P. Kouvaros, T. Kyono, F. Leofante, A. Lomuscio, D. Margineantu, D. Osipychev, Y. Zheng. Formal Analysis of Neural Network-based Systems in the Aircraft Domain. In Proceedings of the 24th International Symposium on Formal Methods (FM21), 2021.
P. Kouvaros, A. Lomuscio. Towards Scalable Complete Verification of ReLU Neural Networks via Dependency-based Branching. In Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI21), 2021.
B. Batten, P. Kouvaros, A. Lomuscio, Y. Zheng. Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts. In Proceedings of the 30th Interna- tional Joint Conference on Artificial Intelligence (IJCAI21), 2021. (Core A*; full paper.) 2020.
M. Akintunde, E. Botoeva, P. Kouvaros, A. Lomuscio. Verifying Strategic Abilities of Neural Multi-Agent Systems. In Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR20), 2020.
M. Akintunde, E. Botoeva, P. Kouvaros, A. Lomuscio. Formal Verification of Neural Agents in Non-deterministic Environments. In Proceedings of the 19th International Conference on Autonomous Agents and Multi-agent Systems (AAMAS20), 2020.
E. Botoeva, P. Kouvaros, J. Kronqvist, A. Lomuscio, R. Misener. Efficient Verification of ReLU-based Neural Networks via Dependency Analysis. In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI20), 2020.
P. Kouvaros, A. Lomuscio, E. Pirovano, H. Punchihewa. Formal Verification of Open Multi- Agent Systems. In Proceedings of the 18th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS19), 2019.
P. Kouvaros, A. Lomuscio, E. Pirovano. Symbolic Synthesis of Fault-Tolerance Ratios in Pa- rameterised Multi-Agent Systems. In Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI18), 2018.
P. Kouvaros, D. Kouzapas, A. Philippou, J. Georgiou, A. Pitsillides. In Proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems (FMICS18), 2018.
P. Kouvaros, A. Lomuscio. Verifying Fault-tolerance in Parameterised Multi-Agent Systems. In Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI17), 2017.
F. Belardinelli, P. Kouvaros, A. Lomuscio. Parameterised Verification of Data-aware Multi- agent Systems. In Proceedings of the 26th International Joint Conference on Artificial Intel- ligence (IJCAI17), 2017.
P. Kouvaros, A. Lomuscio. Parameterised Verification of Infinite State Multi-Agent Systems via Predicate Abstraction. In Proceedings of the 31st AAAI Conference on Artificial Intelli- gence (AAAI17), 2017.
P. Kouvaros, A. Lomuscio. Parameterised Verification for Multi-Agent Systems. Artificial Intelligence, 2016
P. Kouvaros, A. Lomuscio. Parameterised Model Checking for Alternating-time Temporal Logic. In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI16), 2016.
P. Kouvaros, A. Lomuscio. Formal Verification of Opinion Formation in Swarms. In Proceed- ings of the 15th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS16), 2016.
I. Boureanu, P. Kouvaros, A. Lomuscio. Verifying Security Properties in Unbounded Multi- agent Systems. In Proceedings of the 15th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS16), 2016.
P. Kouvaros, A. Lomuscio. Verifying Emergent Properties of Swarms. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI15), 2015.
P. Kouvaros, A. Lomuscio. A Counter Abstraction Technique for the Verification of Robot Swarms. In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI15), 2015.
P. Kouvaros, A. Lomuscio. A Cutoff Technique for the Verification of Parameterised Inter- preted Systems with Parameterised Environments. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI13), 2013.
P. Kouvaros, A. Lomuscio. Automatic Verification of Parameterised Interleaved Multi-Agent Systems. In Proceedings of the 12th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS13), 2013.

UoL