About
Data, Uncertainty, Constraints, Knowledge — four words that sit at the heart of everything we do. At the DUCK Lab, we build AI systems that don't just learn from data, but reason over it: systems that acknowledge what they don't know, respect the rules of the world they operate in, and draw on structured knowledge to make better decisions. We're a small, tight-knit team at Imperial College London, united by a belief that we don't need to compromise between a powerful AI and a safe one.
Interested in joining the lab? Contact me at firstname initial DOT surname AT imperial.ac.uk.
Come for the research, stay for the good company!
Recent News
08-2025
AI for Math Fund
Constraining LLMs for Theorem Proving: A Neurosymbolic Approach to Guaranteed Autoformalization
Dr. Giunchiglia has been awarded an AI for Math grant. Read more here