Edmund Clarke (Professor, Computer Science Department, CMU)
[Jeremy Avigad][jeremy] (Professor, Department of Philosophy, CMU) [Bing Liu][bing] (Postdoc Researcher, University of Pittsburgh)Edmund Clarke (Professor, Computer Science Department, CMU)
[Jeremy Avigad][jeremy] (Professor, Department of Philosophy, CMU) [Bing Liu][bing] (Postdoc Researcher, University of Pittsburgh)