I am a Professor in Applied Computational Logic at the Department of Computing, Imperial College London, and academic member of the Distributed Software Engineering Section.
I lead the Structured and Probabilistic Knowledge Engineering (SPIKE) research group and my research interests are in foundation AI and applications to real-world problems. Specifically, I have led the pioneering of several state-of-the-art symbolic machine learning systems and widely applied them to the areas of Intelligent Adaptive Systems, Security, Network Management, Distributed Control Systems for Sensor Networks, and Healthcare. My research interests include Computational Logic, Planning, Symbolic Machine Learning, Probabilistic and Distributed Inference, Neuro-symbolic AI and Robustness of Generative Models.