Skip to content

Latest commit

 

History

History
42 lines (31 loc) · 1.17 KB

people.md

File metadata and controls

42 lines (31 loc) · 1.17 KB

People

[Sicun Gao][sean] (Postdoc Researcher, Computer Science Department, CMU)

[Soonho Kong][soonho] (PhD Candidate, Computer Science Department, CMU)

[Wei Chen][wei] (Master Student, Institute for Software Research, CMU)

[Mark Erazo][mark] (Research Associate, Computer Science Department, CMU)

Edmund Clarke (Professor, Computer Science Department, CMU)

Collaborators

[Jeremy Avigad][jeremy] (Professor, Department of Philosophy, CMU)

[Bing Liu][bing] (Postdoc Researcher, University of Pittsburgh)