Research & collaboration
We apply machine learning across the software lifecycle and to the systems that power AI itself, and we do it together with leading groups worldwide — sending our students on to the best labs and companies.
Code Generation & Analysis
Building AI systems that write, understand, and fix software like an expert — helping developers ship secure code faster.
Software Security
Detecting and predicting vulnerabilities in software and AI systems — helping developers find and fix risks before they ship.
Trustworthy AI Systems
Identifying and mitigating risks in AI systems — ensuring reliability, fairness, and safety in real-world deployments.
Collaborators
Who we work with
We publish jointly with software-engineering and AI groups around the world.
