Pure and Applied Logic

Faculty working in this area:

Last First Title Emailsort ascending
Harper Robert Professor rwh@cs.cmu.edu
Heule Marijn Associate Professor mheule@andrew.cmu.edu
Pfenning Frank Professor fp@cs.cmu.edu
Brookes Stephen Professor brookes@cs.cmu.edu
Platzer André Associate Professor aplatzer@cs.cmu.edu
Subscribe to Pure and Applied Logic