Similar researchers to Greg Morrisett: Advanced Search
Name Institution Area Added by Date  
Caroline Haythornthwaite (Info) UIUC (Computer Science Tree) Information Science, Library Science, Computer Science pq 2016‑03‑29 Sim(0.82)
Robert Harper (Info) Carnegie Mellon (Computer Science Tree) david 2016‑01‑13 Sim(0.81)
Andrew Appel (Info) Princeton (Computer Science Tree) Software verification, computer security, programming languages, compilers. david 2016‑01‑13 Sim(0.81)
Kavita Bala (Info) Cornell (Computer Science Tree) Computer Science pq 2016‑03‑28 Sim(0.8)
Juan P. Bello (Info) NYU (Computer Science Tree) Music, Information Science, Computer Science pq 2016‑04‑18 Sim(0.8)
Dan Grossman (Info) University of Washington (Computer Science Tree) david 2016‑01‑13 Sim(0.78)
Shriram Krishnamurthi (Info) Brown (Computer Science Tree) Programming Languages, Networking, Security and Cryptography, Software Engineering david 2015‑12‑23 Sim(0.78)
Weijia Shang (Info) Santa Clara University (Computer Science Tree) Computer Science pq 2016‑03‑30 Sim(0.78)
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.77)
Pierre Hansen (Info) Ecole Polytechnique, Montreal (Canada) (Computer Science Tree) Operations Research, Computer Science pq 2016‑03‑24 Sim(0.77)
Troy A. Johnson (Info) Purdue (Computer Science Tree) Computer Science pq 2016‑02‑10 Sim(0.77)
Christoph Borchers (Info) UNC Chapel Hill (Physics Tree) Biochemistry pq 2016‑03‑12 Sim(0.77)
Perambur S. Neelakanta (Info) Florida Atlantic University (Computer Science Tree) Electronics and Electrical Engineering, Computer Science pq 2016‑03‑23 Sim(0.76)
Matthew M. Yuen (Info) Hong Kong University of Science and Technology (Hong Kong) (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.76)
Krishna Palem (Info) NYU (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.76)
Frank Pfenning (Info) Carnegie Mellon (Robotree) Computer Science, Robotics pq 2016‑01‑20 Sim(0.76)
Kedar N. Swadi (Info) Princeton (Computer Science Tree) Software verification, computer security, programming languages, compilers. pq 2016‑01‑13 Sim(0.76)
Stephanie Weirich (Info) Penn (Computer Science Tree) Theory: Formal Methods and Logic; Programming Languages and Program Analysis david 2016‑01‑08 Sim(0.76)
Christopher A. Stone (Info) Carnegie Mellon (Computer Science Tree) pq 2016‑01‑13 Sim(0.76)
Gorm Kipperberg (Info) UC Davis (Econometree) Agricultural Economics pq 2016‑03‑26 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)
Vemuri Balakotaiah (Info) University of Houston (Computer Science Tree) Chemical Engineering, Mathematics, Computer Science pq 2016‑03‑23 Sim(0.75)
Xuebing Yang (Info) University of Oklahoma (Econometree) Theory Economics pq 2016‑03‑25 Sim(0.75)
Md. E. Kabir (Info) Purdue (Astronomy Tree) Applied Mechanics, Geological Engineering, Aerospace Engineering pq 2016‑03‑25 Sim(0.75)
Stephen N. Freund (Info) Stanford (Computer Science Tree) pq 2016‑01‑10 Sim(0.75)
Katherine E. Trueblood (Info) Case Western (Physics Tree) Physiology Biology, General Biophysics pq 2016‑03‑27 Sim(0.74)
Bjarne Stroustrup (Info) Columbia (Computer Science Tree) Distributed Systems, Design, Programming Techniques, Software Development Tools, and Programming Languages david 2016‑01‑10 Sim(0.74)
Nalini Vasudevan (Info) Columbia (Computer Science Tree) Compilers, Embedded Systems, VLSI, Computer-aided Design, Digital Systems, Languages pq 2016‑01‑11 Sim(0.74)
Jinlian Hu (Info) Hong Kong Polytechnic University (Hong Kong) (Computer Science Tree) Computer Science pq 2016‑04‑18 Sim(0.74)
Dimitrios Vytiniotis (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)
Geoffrey K. Pullum (Info) UC Santa Cruz (LinguisTree) Linguistics Language pq 2016‑02‑12 Sim(0.74)
Gosta Grahne (Info) Concordia (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.73)
Kim Lewis (Info) Tufts (Microtree) Microbiology Biology pq 2016‑03‑12 Sim(0.73)
Eric M. Schauber (Info) SIU Carbondale (Computer Science Tree) Wildlife Management Agriculture, Zoology Biology, Computer Science pq 2016‑03‑29 Sim(0.73)
Sandip Sen (Info) University of Tulsa (Computer Science Tree) Computer Science pq 2016‑03‑26 Sim(0.73)
Kelly Brooks (Info) University of Rhode Island Social Psychology, Developmental Psychology, Women's Studies pq 2016‑03‑29 Sim(0.73)
Brent A. Yorgey (Info) Penn (Computer Science Tree) Theory: Formal Methods and Logic; Programming Languages and Program Analysis pq 2016‑01‑09 Sim(0.73)
John Kodumal (Info) UC Berkeley (Computer Science Tree) Programming Systems (PS); Security (SEC); software engineering, security, program analysis pq 2016‑01‑11 Sim(0.72)
Chitta Baral (Info) Arizona State (Robotree) Computer Science, Logic, Robotics Engineering pq 2016‑02‑05 Sim(0.72)
Michael Travis Putnam (Info) Penn State (LinguisTree) theoretical linguistics, syntax, semantics, Germanic linguistics, contact linguistics, bilingualism syntaxpunk 2016‑01‑27 Sim(0.72)
Alfred V. Aho (Info) Columbia (Computer Science Tree) Compilers, Software Engineering, Algorithms, Quantum Computing david 2016‑01‑10 Sim(0.72)
Matthew Might (Info) Georgia Tech (Computer Science Tree) Computer Science pq 2016‑03‑26 Sim(0.72)
Leigh S. McCue (Info) University of Michigan (Marine Ecology Tree) Marine and Ocean Engineering pq 2016‑03‑26 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)
Evelina Leivada (Info) University of Cyprus (LinguisTree) Biolinguistics ptmartins 2013‑09‑24 Sim(0.72)
Hillel Kugler (Info) Weizmann Institute (Computer Science Tree) Mathematics, Computer Science pq 2016‑03‑24 Sim(0.72)
Shadi Rostami (Info) UBC (Computer Science Tree) Electronics and Electrical Engineering pq 2016‑03‑26 Sim(0.71)
Jens Palsberg (Info) UCLA (Computer Science Tree) compilers; embedded systems; programming languages; software engineering; information security david 2016‑01‑09 Sim(0.71)
Jens Palsberg (Info) UCLA (Computer Science Tree) compilers; embedded systems; programming languages; software engineering; information security david 2016‑01‑09 Sim(0.71)
Sign in to add a new person