Similar researchers to Paul Hudak: Advanced Search
Name Institution Area Added by Date  
Robert Harper (Info) Carnegie Mellon (Computer Science Tree) david 2016‑01‑13 Sim(0.79)
Matthias Felleisen (Info) Rice University (Computer Science Tree) Computer Science pq 2016‑03‑23 Sim(0.78)
Todd Millstein (Info) UCLA (Computer Science Tree) programming language design; static type systems; program analysis; software model checking; formal methods; compilers david 2016‑01‑09 Sim(0.78)
Kedar N. Swadi (Info) Princeton (Computer Science Tree) Software verification, computer security, programming languages, compilers. pq 2016‑01‑13 Sim(0.78)
Robert B. Findler (Info) Rice University (Computer Science Tree) Computer Science pq 2016‑03‑25 Sim(0.78)
Greg Morrisett (Info) Harvard (Computer Science Tree) david 2016‑01‑13 Sim(0.78)
Stephen Rochefort (Info) Simon Fraser (Computer Science Tree) Computer Science pq 2016‑03‑26 Sim(0.77)
Ronald A. Olsson (Info) UC Davis (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.77)
Hridesh Rajan (Info) Iowa State (Computer Science Tree) Computer Science pq 2016‑04‑18 Sim(0.77)
Steve Zdancewic (Info) Penn (Computer Science Tree) Computer Science pq 2016‑03‑29 Sim(0.77)
Alessandro Warth (Info) UCLA (Computer Science Tree) programming language design; static type systems; program analysis; software model checking; formal methods; compilers pq 2016‑01‑10 Sim(0.77)
Aaron W. Keen (Info) UC Davis (Computer Science Tree) Computer Science pq 2016‑03‑26 Sim(0.77)
Andrew Appel (Info) Princeton (Computer Science Tree) Software verification, computer security, programming languages, compilers. david 2016‑01‑13 Sim(0.77)
Troy A. Johnson (Info) Purdue (Computer Science Tree) Computer Science pq 2016‑02‑10 Sim(0.77)
Yannis Smaragdakis (Info) Georgia Tech (Computer Science Tree) Computer Science pq 2016‑03‑28 Sim(0.76)
Benjamin C. Pierce (Info) Penn (Computer Science Tree) Information Systems: Databases and Information Management, Theory: Formal Methods and Logic; Programming Languages and Program Analysis david 2016‑01‑08 Sim(0.76)
Allen D. Malony (Info) University of Oregon (Computer Science Tree) Computer Science pq 2016‑03‑23 Sim(0.76)
Geoffrey C. Hulette (Info) University of Oregon (Computer Science Tree) Computer Science pq 2016‑03‑25 Sim(0.76)
John D. Backes (Info) UMN (Computer Science Tree) Computer Engineering, Electronics and Electrical Engineering, Computer Science pq 2016‑04‑19 Sim(0.75)
Frank Pfenning (Info) Carnegie Mellon (Robotree) Computer Science, Robotics pq 2016‑01‑20 Sim(0.75)
Chitta Baral (Info) Arizona State (Robotree) Computer Science, Logic, Robotics Engineering pq 2016‑02‑05 Sim(0.75)
Stephanie Weirich (Info) Penn (Computer Science Tree) Theory: Formal Methods and Logic; Programming Languages and Program Analysis david 2016‑01‑08 Sim(0.75)
Philip Resnik (Info) University of Maryland (LinguisTree) Computational linguistics, Lexical semantics david 2016‑01‑12 Sim(0.75)
Martin Abadi (Info) UC Santa Cruz (Computer Science Tree) Computer Science pq 2016‑03‑28 Sim(0.74)
Brent A. Yorgey (Info) Penn (Computer Science Tree) Theory: Formal Methods and Logic; Programming Languages and Program Analysis pq 2016‑01‑09 Sim(0.74)
Benjamin L. Titzer (Info) UCLA (Computer Science Tree) compilers; embedded systems; programming languages; software engineering; information security pq 2016‑01‑10 Sim(0.74)
Norbert Hornstein (Info) University of Maryland (LinguisTree) syntax, linguistic theory amunn 2013‑01‑12 Sim(0.74)
Christopher A. Stone (Info) Carnegie Mellon (Computer Science Tree) pq 2016‑01‑13 Sim(0.74)
Laurie Hendren (Info) McGill (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.73)
Nathan Whitehead (Info) UC Santa Cruz (Computer Science Tree) Computer Science pq 2016‑03‑29 Sim(0.73)
Jean-Baptiste Jeannin (Info) Cornell (MathTree) Computer Science, Mathematics pq 2016‑03‑22 Sim(0.73)
David MacQueen (Info) Chicago (Computer Science Tree) Computer Science pq 2016‑03‑26 Sim(0.73)
Stephen N. Freund (Info) Stanford (Computer Science Tree) pq 2016‑01‑10 Sim(0.73)
Evelina Leivada (Info) University of Cyprus (LinguisTree) Biolinguistics ptmartins 2013‑09‑24 Sim(0.73)
Dan Grossman (Info) University of Washington (Computer Science Tree) david 2016‑01‑13 Sim(0.73)
Noam Chomsky (Info) MIT (LinguisTree) Language hanks 2005‑10‑22 Sim(0.73)
Dimitrios Vytiniotis (Info) Penn (Computer Science Tree) Theory: Formal Methods and Logic; Programming Languages and Program Analysis pq 2016‑01‑09 Sim(0.73)
Lisa Matthewson (Info) UBC (LinguisTree) Linguistics Language pq 2016‑02‑29 Sim(0.73)
John F. Pane (Info) Carnegie Mellon (Computer Science Tree) Computer Science pq 2016‑03‑26 Sim(0.73)
Nicholas A. Kraft (Info) Clemson University (Computer Science Tree) Computer Science pq 2016‑03‑27 Sim(0.73)
Robert Cartwright (Info) Rice University (Computer Science Tree) Computer Science pq 2016‑03‑29 Sim(0.73)
Geoffrey K. Pullum (Info) UC Santa Cruz (LinguisTree) Linguistics Language pq 2016‑02‑12 Sim(0.73)
David Harel (Info) Weizmann Institute (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.72)
Chris Casinghino (Info) Penn (Computer Science Tree) Theory: Formal Methods and Logic; Programming Languages and Program Analysis pq 2016‑01‑09 Sim(0.72)
Gary T. Leavens (Info) Iowa State (Computer Science Tree) Computer Science pq 2016‑03‑26 Sim(0.72)
Zaher S. Andraus (Info) University of Michigan (Computer Science Tree) Computer Science, Electronics and Electrical Engineering, Mathematics pq 2016‑03‑25 Sim(0.72)
Nicholas Evans (Info) ANU (LinguisTree) language description katelynnlindsey 2014‑03‑01 Sim(0.72)
Martin Erwig (Info) Oregon State (Computer Science Tree) Computer Science pq 2016‑04‑18 Sim(0.72)
Martin Erwig (Info) Oregon State (Computer Science Tree) Computer Science pq 2016‑04‑18 Sim(0.72)
Sign in to add a new person