Frank Pfenning
Frank Pfenning dating history
Who
are they
dating right now?
According to our records, Frank Pfenning is possibly single.
Relationships
We have no records of past relationships for Frank Pfenning.
About
Frank Pfenning is a member of the following lists: Carnegie Mellon University alumni, Fellows of the Association for Computing Machinery and Carnegie Mellon University faculty.
Contribute
Who is Frank Pfenning dating? Frank Pfenning partner, spouse list. Help us build our profile of Frank Pfenning!
Login
to add information, pictures and relationships, join in discussions and get credit for your contributions.
Details
Frank Pfenning is a professor of computer science, and adjunct professor in the department of philosophy, at Carnegie Mellon University. He received his Ph.D. from the Carnegie Mellon University Department of Mathematics in 1987, for his dissertation entitled Proof Transformations in Higher-Order Logic. He was a student of Peter B. Andrews. His research includes work in the area of programming languages, logic and type theory, logical frameworks, automated deduction, and trustworthy computing. He is one of the principal authors of the Twelf system.
More about Frank Pfenning
Less about Frank Pfenning
