Pages using the term: Formal Methods/Verification

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