Pages using the term: Formal Methods/Verification

Lastsort ascending First Title Office Department Email Phone
Veith Helmut Adjunct Professor 4117 Gates and Hillman Centers Computer Science Department veith@andrew.cmu.edu (412) 268-3789
Platzer Andre Assistant Professor 9103 Gates and Hillman Centers Computer Science Department, Robotics Institute aplatzer@cs.cmu.edu (412) 268-1558
Langmead Christopher Associate Professor 7215 Gates and Hillman Centers Computational Biology Department cjl@cs.cmu.edu (412) 268-7571
Kaynar Zeliha Dilsun Assistant Teaching Professor 6009 Gates and Hillman Centers Computer Science Department dilsun@cs.cmu.edu (412) 268-9297
Garlan David Co-Director, Software Engineering Masters Programs; Professor 4218 Wean Hall Institute for Software Research, Computer Science Department garlan@cs.cmu.edu (412) 268-5056
Crary Karl Associate Professor 9217 Gates and Hillman Centers Computer Science Department crary@cs.cmu.edu (412) 268-7687
Clarke Edmund Faculty Emeritus 9231 Gates and Hillman Centers Computer Science Department ec10@andrew.cmu.edu (412) 268-2628
Bryant Randal University Professor 9125 Gates and Hillman Centers Computer Science Department bryant@cs.cmu.edu (412) 268-8821
Aldrich Jonathan Associate Professor; Director, Software Engineering Ph.D. Program 4216 Wean Hall Institute for Software Research aldrich@cs.cmu.edu (412) 268-7278
Subscribe to Pages using the term: <i>Formal Methods/Verification</i>