Pages using the term: Logic

Last First Title Room Buildingsort ascending Email Phone
Cervesato Iliano Teaching Professor of CS 1008 Carnegie Mellon Qatar

iliano [atsymbol] qatar.cmu.edu

974-454-8643
Veith Helmut Adjunct Professor 4117 Wean Hall

helmut.veith [atsymbol] in.tum.de

412-268-3789
Platzer Andre Associate Professor 9103 Gates and Hillman Centers

aplatzer [atsymbol] cs.cmu.edu

412-268-1558
Pfenning Frank Department Head and Professor 7019 Gates and Hillman Centers

fp [atsymbol] cs.cmu.edu

412-268-6343
Bryant Randal University Professor 9125 Gates and Hillman Centers

randy.bryant [atsymbol] cs.cmu.edu

412-268-8821
Crary Karl Associate Professor 9217 Gates and Hillman Centers

crary [atsymbol] cs.cmu.edu

412-268-7687
Subscribe to Pages using the term: <i>Logic</i>