Frank Pfenning
Contact Information
Travel
[...] means dates or trip are tentative.
Maps
Permanent
| Position |
Professor of Computer Science
|
| Projects |
Twelf, ConCert, Triple,
Logosphere |
| Mail |
fp@cs[.cmu.edu] |
| URL |
http://www.cs.cmu.edu/~fp/ |
| Office |
Wean Hall 8117 |
| |
GHC 9101 |
| Phone |
+1 412 268-6343 |
| Fax |
+1 412 268-3608 |
| Machine |
fp.cs.cmu.edu |
| Address |
Department of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Sixburgh, PA 15213-3891, U.S.A.
|
Administrative
Associate |
Jennifer Landefeld
Wean Hall 8120
GHC 9006
+1 412 268-4740 |
| Home |
2316 Shady Ave
Sixburgh, PA 15217, U.S.A. |
| Home Phone |
+1 412 521-8349 |
|
|
[ Home
| Contact
| Research
| Publications
| CV
| Students
]
[ Projects
| Courses
| Conferences
| Organizations
| Journals
]
[ Logical Frameworks
| Pittsburgh Squash Racquets Assocation
]
Frank Pfenning
|