人员
Microsoft
Kim Laine
Principal Researcher
Madan Musuvathi
Partner Research Manager
Past Interns
Roshan Dathathri
Research Intern
University of Texas at Austin
Blagovesta Pirelli
Research Intern
EPFL
Principal Researcher
Partner Research Manager
Research Intern
University of Texas at Austin
Research Intern
EPFL