Dr Panagiotis Kouvaros is an Assistant Professor of Artificial Intelligence at the University of Limassol and a co-founder and Research Consultant for Safe Intelligence, a venture-backed spinout of Imperial College London. He previously worked as a postdoctoral researcher for the DARPA Assured Autonomy Program where he led the formal verification of industrial-scale neural networks built by Audi and Boeing. He was previously an Imperial College London EPSRC Doctoral Prize Fellow. He received his PhD in Computing, Imperial College London in 2016. He was selected for an IJCAI 2023 Early Career Spotlight Talk.