Similar researchers to Frank Pfenning: Advanced Search
Name Institution Area Added by Date  
Benjamin C. Pierce (Info) Penn Information Systems: Databases and Information Management, Theory: Formal Methods and Logic; Programming Languages and Program Analysis david 2016‑01‑08 Sim(0.78)
Shriram Krishnamurthi (Info) Brown Programming Languages, Networking, Security and Cryptography, Software Engineering david 2015‑12‑23 Sim(0.78)
Paul Hudak (Info) Yale Computer Science pq 2016‑03‑30 Sim(0.77)
Yannis Smaragdakis (Info) Georgia Tech, U Mass Amherst, University of Oregon, University of Athens Computer Science pq 2016‑03‑28 Sim(0.76)
Todd Millstein (Info) UCLA programming language design; static type systems; program analysis; software model checking; formal methods; compilers david 2016‑01‑09 Sim(0.76)
Matthias Felleisen (Info) Rice University Computer Science pq 2016‑03‑23 Sim(0.76)
Greg Morrisett (Info) Cornell, Harvard david 2016‑01‑13 Sim(0.76)
Hridesh Rajan (Info) Iowa State Computer Science pq 2016‑04‑18 Sim(0.76)
Steve Zdancewic (Info) Penn Computer Science pq 2016‑03‑29 Sim(0.76)
Andrew Appel (Info) Princeton Software verification, computer security, programming languages, compilers. david 2016‑01‑13 Sim(0.76)
Martin Abadi (Info) UC Santa Cruz Computer Science pq 2016‑03‑28 Sim(0.75)
Robert B. Findler (Info) Rice University Computer Science pq 2016‑03‑25 Sim(0.75)
Kedar N. Swadi (Info) Princeton Software verification, computer security, programming languages, compilers. pq 2016‑01‑13 Sim(0.75)
Chitta Baral (Info) Arizona State (Robotree) Computer Science, Logic, Robotics Engineering pq 2016‑02‑05 Sim(0.75)
Dimitrios Vytiniotis (Info) Penn Theory: Formal Methods and Logic; Programming Languages and Program Analysis pq 2016‑01‑09 Sim(0.75)
Martin Erwig (Info) Oregon State Computer Science pq 2016‑04‑18 Sim(0.74)
Laurie Hendren (Info) McGill Computer Science pq 2016‑03‑24 Sim(0.74)
Christopher A. Stone (Info) Carnegie Mellon pq 2016‑01‑13 Sim(0.74)
Dan Grossman (Info) University of Washington david 2016‑01‑13 Sim(0.74)
Stephanie Weirich (Info) Penn Theory: Formal Methods and Logic; Programming Languages and Program Analysis david 2016‑01‑08 Sim(0.73)
Ronald A. Olsson (Info) UC Davis Computer Science pq 2016‑03‑24 Sim(0.73)
Stephen N. Freund (Info) Stanford pq 2016‑01‑10 Sim(0.73)
Aaron W. Keen (Info) UC Davis Computer Science pq 2016‑03‑26 Sim(0.73)
Jose Meseguer (Info) UIUC Computer Science pq 2016‑04‑04 Sim(0.73)
Robert Cartwright (Info) Rice University Computer Science pq 2016‑03‑29 Sim(0.73)
Alfred V. Aho (Info) Columbia Compilers, Software Engineering, Algorithms, Quantum Computing david 2016‑01‑10 Sim(0.73)
Alessandro Warth (Info) UCLA programming language design; static type systems; program analysis; software model checking; formal methods; compilers pq 2016‑01‑10 Sim(0.72)
David MacQueen (Info) Chicago Computer Science pq 2016‑03‑26 Sim(0.72)
Allen D. Malony (Info) University of Oregon Computer Science pq 2016‑03‑23 Sim(0.72)
Geoffrey K. Pullum (Info) UC Santa Cruz (LinguisTree) Linguistics Language pq 2016‑02‑12 Sim(0.72)
Haim Gaifman (Info) Columbia (Philosophy Tree) Logic, Foundations of Probability; Rational Choice, Philosophy of Mathematics, Philosophy of Language, Frege, Russell, Wittgenstein. david 2016‑01‑10 Sim(0.72)
Philip Resnik (Info) University of Maryland (LinguisTree) Computational linguistics, Lexical semantics david 2016‑01‑12 Sim(0.72)
Brent A. Yorgey (Info) Penn Theory: Formal Methods and Logic; Programming Languages and Program Analysis pq 2016‑01‑09 Sim(0.72)
John D. Backes (Info) UMN Computer Engineering, Electronics and Electrical Engineering, Computer Science pq 2016‑04‑19 Sim(0.72)
Mohamed Mejri (Info) Universite Laval (Canada) Computer Science pq 2016‑03‑26 Sim(0.72)
David Harel (Info) Weizmann Institute Computer Science pq 2016‑03‑24 Sim(0.72)
Stephen Rochefort (Info) Simon Fraser Computer Science pq 2016‑03‑26 Sim(0.72)
Troy A. Johnson (Info) Purdue Computer Science pq 2016‑02‑10 Sim(0.71)
Jens Palsberg (Info) UCLA compilers; embedded systems; programming languages; software engineering; information security david 2016‑01‑09 Sim(0.71)
Bharat Jayaraman (Info) SUNY Buffalo Computer Science pq 2016‑03‑24 Sim(0.71)
Sibylle Schupp (Info) RPI Computer Science pq 2016‑03‑24 Sim(0.71)
Nathan Whitehead (Info) UC Santa Cruz Computer Science pq 2016‑03‑29 Sim(0.71)
Michael Kifer (Info) SUNY Stony Brook Declarative Languages for Data and Knowledge Manipulation, The Semantic Web, Integration of Object-oriented and Deductive Paradigms, Object-oriented Databases david 2016‑01‑11 Sim(0.71)
Norbert Hornstein (Info) University of Maryland (LinguisTree) syntax, linguistic theory amunn 2013‑01‑12 Sim(0.71)
Tachio Terauchi (Info) UC Berkeley Programming Systems (PS); Security (SEC); software engineering, security, program analysis pq 2016‑01‑11 Sim(0.7)
Jan Nuyts (Info) Universiteit Antwerpen (Belgium) (LinguisTree) Linguistics Language pq 2016‑03‑12 Sim(0.7)
Bruce W. Weide (Info) Ohio State Computer Science pq 2016‑03‑24 Sim(0.7)
Amir Pnueli (Info) Weizmann Institute Mathematics, Computer Science pq 2016‑03‑24 Sim(0.7)
Les Gasser (Info) UIUC (LinguisTree) Information Science, Computer Science, Linguistics Language pq 2016‑03‑12 Sim(0.7)
Les Gasser (Info) UIUC (LinguisTree) Information Science, Computer Science, Linguistics Language pq 2016‑03‑12 Sim(0.7)
Sign in to add a new person