Frank Pfenning - Frank Pfenning
Frank Pfenning jest profesorem informatyki , adiunktem na wydziale filozofii i kierownikiem Wydziału Informatyki na Carnegie Mellon University . Uzyskał stopień doktora. z Wydziału Matematyki Uniwersytetu Carnegie Mellon w 1987 roku za rozprawę pt. Proof Transformations in Higher-Order Logic . Był uczniem Petera B. Andrewsa .
Jego badania obejmują prace w zakresie języków programowania , teorii logiki i typów , ram logicznych , automatycznej dedukcji i wiarygodnych obliczeń. Jest jednym z głównych autorów systemu Dwunastka . Opracował również wprowadzający kurs programowania imperatywnego Carnegie Mellon dla studentów i język programowania C0 używany w tym kursie.
W 2015 roku został mianowany członkiem Association for Computing Machinery „za wkład w logiczne podstawy automatycznego dowodzenia twierdzeń i typów języków programowania”. W 2016 roku otrzymał nagrodę LICS Test of Time za artykuł „ A Linear Logical Framework” , którego współautorem jest Iliano Cervesato.
Jest zawodowym graczem w squasha, plasującym się w pierwszej piątce uniwersytetu w rankingu squasha.
Pojawił się także w filmie eksperymentalnym u boku Sharon Needles .
Bibliografia
Zewnętrzne linki
| P ≟ NP | Ten artykuł biograficzny dotyczący informatyka to zalążek . Możesz pomóc Wikipedii, rozbudowując ją . |