Krysia Broda

Dr. Krysia Broda is an Honorary Senior Lecturer in the Department of Computing at Imperial College London's Faculty of Engineering. She directs the HiPEDS CDT Programme and coordinates the PhD Teaching Scholarship Programme, actively supervising doctoral candidates. Her office is located at 180 Queen’s Gate, London SW7 2BZ, U.K., and she can be contacted via phone (+44 20 7594 8426) or email.

Her research bridges logic programming, automated reasoning, and neural-symbolic integration, with applications in computational biology and multi-agent systems. Key focus areas include:

• Abductive/Inductive Logic Programming
• Answer Set Programming (ASP) for knowledge representation
• Probabilistic reasoning in biological networks
• Teleo-reactive agent policies

Her publications emphasize logic-based methods in AI, spanning theoretical foundations and real-world applications like gene regulation analysis and legal case inference. Recent work shows a trend toward integrating probabilistic models with symbolic AI for complex system validation.

She leads the Structured and Probabilistic Intelligent Knowledge Engineering (SPIKE) group and collaborates with the Machine Learning Group. Current projects involve distributed abductive reasoning and ASP-based theory refinement.