Pure and Applied Logic
Faculty working in this area:
Last![]() |
First | Title | |
---|---|---|---|
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 |