We combine modern AI techniques with traditional, mathematically grounded program analysis methods to ensure the accuracy and trustworthiness of software in an AI-enabled world.  

program

Our research

Publications

Our partners

Meet the team