Similar researchers to Todd Millstein: Advanced Search
Name Institution Area Added by Date  
Andrew Appel (Info) Princeton (Computer Science Tree) Software verification, computer security, programming languages, compilers. david 2016‑01‑13 Sim(0.82)
Greg Morrisett (Info) Harvard (Computer Science Tree) david 2016‑01‑13 Sim(0.82)
Steve Zdancewic (Info) Penn (Computer Science Tree) Computer Science pq 2016‑03‑29 Sim(0.82)
Hridesh Rajan (Info) Iowa State (Computer Science Tree) Computer Science pq 2016‑04‑18 Sim(0.82)
Laurie Hendren (Info) McGill (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.81)
Dan Grossman (Info) University of Washington (Computer Science Tree) david 2016‑01‑13 Sim(0.81)
Shriram Krishnamurthi (Info) Brown (Computer Science Tree) Programming Languages, Networking, Security and Cryptography, Software Engineering david 2015‑12‑23 Sim(0.81)
Robert Harper (Info) Carnegie Mellon (Computer Science Tree) david 2016‑01‑13 Sim(0.8)
Sibylle Schupp (Info) RPI (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.79)
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.79)
Paul Hudak (Info) Yale (Computer Science Tree) Computer Science pq 2016‑03‑30 Sim(0.78)
Matthias Felleisen (Info) Rice University (Computer Science Tree) Computer Science pq 2016‑03‑23 Sim(0.78)
Robert B. Findler (Info) Rice University (Computer Science Tree) Computer Science pq 2016‑03‑25 Sim(0.78)
Martin Erwig (Info) Oregon State (Computer Science Tree) Computer Science pq 2016‑04‑18 Sim(0.78)
Ronald A. Olsson (Info) UC Davis (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.78)
Bjarne Stroustrup (Info) Columbia (Computer Science Tree) Distributed Systems, Design, Programming Techniques, Software Development Tools, and Programming Languages david 2016‑01‑10 Sim(0.78)
David Harel (Info) Weizmann Institute (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.78)
Stephen N. Freund (Info) Stanford (Computer Science Tree) pq 2016‑01‑10 Sim(0.77)
Allen D. Malony (Info) University of Oregon (Computer Science Tree) Computer Science pq 2016‑03‑23 Sim(0.77)
Aaron W. Keen (Info) UC Davis (Computer Science Tree) Computer Science pq 2016‑03‑26 Sim(0.77)
Christopher A. Stone (Info) Carnegie Mellon (Computer Science Tree) pq 2016‑01‑13 Sim(0.77)
Troy A. Johnson (Info) Purdue (Computer Science Tree) Computer Science pq 2016‑02‑10 Sim(0.77)
John D. Backes (Info) UMN (Computer Science Tree) Computer Engineering, Electronics and Electrical Engineering, Computer Science pq 2016‑04‑19 Sim(0.77)
Kedar N. Swadi (Info) Princeton (Computer Science Tree) Software verification, computer security, programming languages, compilers. pq 2016‑01‑13 Sim(0.76)
Frank Pfenning (Info) Carnegie Mellon (Robotree) Computer Science, Robotics pq 2016‑01‑20 Sim(0.76)
Benjamin L. Titzer (Info) UCLA (Computer Science Tree) compilers; embedded systems; programming languages; software engineering; information security pq 2016‑01‑10 Sim(0.76)
Hillel Kugler (Info) Weizmann Institute (Computer Science Tree) Mathematics, Computer Science pq 2016‑03‑24 Sim(0.76)
Philip Resnik (Info) University of Maryland (LinguisTree) Computational linguistics, Lexical semantics david 2016‑01‑12 Sim(0.76)
Jens Palsberg (Info) UCLA (Computer Science Tree) compilers; embedded systems; programming languages; software engineering; information security david 2016‑01‑09 Sim(0.76)
Nalini Vasudevan (Info) Columbia (Computer Science Tree) Compilers, Embedded Systems, VLSI, Computer-aided Design, Digital Systems, Languages pq 2016‑01‑11 Sim(0.76)
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.75)
Nicholas A. Kraft (Info) Clemson University (Computer Science Tree) Computer Science pq 2016‑03‑27 Sim(0.75)
Bharat Jayaraman (Info) SUNY Buffalo (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.75)
Chitta Baral (Info) Arizona State (Robotree) Computer Science, Logic, Robotics Engineering pq 2016‑02‑05 Sim(0.75)
Robert Cartwright (Info) Rice University (Computer Science Tree) Computer Science pq 2016‑03‑29 Sim(0.75)
Dimitrios Vytiniotis (Info) Penn (Computer Science Tree) Theory: Formal Methods and Logic; Programming Languages and Program Analysis pq 2016‑01‑09 Sim(0.75)
Stephen Rochefort (Info) Simon Fraser (Computer Science Tree) Computer Science pq 2016‑03‑26 Sim(0.75)
Matthew Might (Info) Georgia Tech (Computer Science Tree) Computer Science pq 2016‑03‑26 Sim(0.74)
David MacQueen (Info) Chicago (Computer Science Tree) Computer Science pq 2016‑03‑26 Sim(0.74)
Alfred V. Aho (Info) Columbia (Computer Science Tree) Compilers, Software Engineering, Algorithms, Quantum Computing david 2016‑01‑10 Sim(0.74)
Katherine A. Yelick (Info) UC Berkeley (Computer Science Tree) Programming Systems (PS); Scientific Computing (SCI); Biosystems & Computational Biology (BIO); parallel programming techniques david 2016‑01‑10 Sim(0.74)
Timothy C. Lethbridge (Info) University of Ottawa (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.74)
Peter Brooke (Info) Macquarie University (Physics Tree) barrycsanders 2015‑12‑04 Sim(0.74)
Carlo Zaniolo (Info) UCLA (Computer Science Tree) knowledge-based systems; database systems; non-monotonic reasoning; spatio/temporal reasoning; scientific databases david 2016‑01‑09 Sim(0.74)
George Necula (Info) UC Berkeley (Computer Science Tree) Programming Systems (PS); Security (SEC); software engineering, security, program analysis david 2016‑01‑10 Sim(0.74)
John Kodumal (Info) UC Berkeley (Computer Science Tree) Programming Systems (PS); Security (SEC); software engineering, security, program analysis pq 2016‑01‑11 Sim(0.74)
Bruce W. Weide (Info) Ohio State (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.73)
Gary T. Leavens (Info) Iowa State (Computer Science Tree) Computer Science pq 2016‑03‑26 Sim(0.73)
Vivek Sarkar (Info) Rice University (Computer Science Tree) Computer Science pq 2016‑03‑28 Sim(0.73)
Vivek Sarkar (Info) Rice University (Computer Science Tree) Computer Science pq 2016‑03‑28 Sim(0.73)
Sign in to add a new person