People
Thomas Ball
Partner Researcher
Shraddha Barke
Senior Researcher
Nikolaj Bjørner
Partner Researcher
Sebastian Burckhardt
Senior Principal Researcher
Saikat Chakraborty
Senior Researcher
Shuo Chen
Senior Principal Researcher
Gabriel Ebner
Research Software Engineer
Sarah Fakhoury
Senior Researcher
Cormac Herley
Principal Researcher
Abhinav Jangda
Senior Researcher
Markus Kuppe
Principal Research Software Development Engineer
Shuvendu Lahiri
Senior Principal Researcher
Daan Leijen
Principal Researcher
Guido Martínez
Research Software Engineer II
Angelica Moreira
Research Software Engineer II
Michal Moskal
Principal Research Software Development Engineer
Madan Musuvathi
Partner Research Manager
Lev Nachmanson
Principal Research Software Development Engineer
Tahina Ramananandro
Principal Research Software Development Engineer
Aashaka Shah
Senior Researcher
Nikhil Swamy
Senior Principal Researcher
Jubi Taneja
Research SDE
Margus Veanes
Principal Researcher
Ben Zorn
Partner Researcher
Peli de Halleux
Principal Research Software Engineer