Pure and Applied Logic

Faculty working in this area:

Last Firstsort descending Title Email
Platzer André Associate Professor aplatzer@cs.cmu.edu
Pfenning Frank Professor fp@cs.cmu.edu
Blum Lenore Distinguished Career Professor of Computer Science lblum@cs.cmu.edu
Harper Robert Professor rwh@cs.cmu.edu
Brookes Stephen Professor brookes@cs.cmu.edu
Subscribe to Pure and Applied Logic