Pure and Applied Logic

Faculty working in this area:

Lastsort descending First Title Email
Blum Lenore Distinguished Career Professor of Computer Science lblum@cs.cmu.edu
Brookes Stephen Professor brookes@cs.cmu.edu
Harper Robert Professor rwh@cs.cmu.edu
Pfenning Frank Department Head; Joseph F. Traub Professor of Computer Science fp@cs.cmu.edu
Platzer André Associate Professor aplatzer@cs.cmu.edu
Subscribe to Pure and Applied Logic