人数
Researchers
Suman Nath
Partner Research Manager
Madan Musuvathi
Partner Research Manager
Lenin Ravindranath Sivalingam
Principal Researcher
External collaborators
Shan Lu
Associate Professor
University of Chicago
Guangpu Li
Intern (2018)
University of Chicago
Rohan Padhye
Intern (2018)
University of California, Berkeley
Andrew Quinn
Intern (2017)
University of Michigan
Bobby Powers
Intern (2017)
UMass Amherst
Liang Luo
Intern (2016)
University of Washington
Xinhao Yuan
Intern (2017)
Columbia University