Similar researchers to Martin Erwig: Advanced Search
Name Institution Area Added by Date  
Yannis Smaragdakis (Info) Georgia Tech (Computer Science Tree) Computer Science pq 2016‑03‑28 Sim
Sibylle Schupp (Info) RPI (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim
David Harel (Info) Weizmann Institute (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim
Hridesh Rajan (Info) Iowa State (Computer Science Tree) Computer Science pq 2016‑04‑18 Sim
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
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
Nick Cercone (Info) University of Waterloo (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim
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
Bjarne Stroustrup (Info) Columbia (Computer Science Tree) Distributed Systems, Design, Programming Techniques, Software Development Tools, and Programming Languages david 2016‑01‑10 Sim
Andrew Appel (Info) Princeton (Computer Science Tree) Software verification, computer security, programming languages, compilers. david 2016‑01‑13 Sim
Shriram Krishnamurthi (Info) Brown (Computer Science Tree) Programming Languages, Networking, Security and Cryptography, Software Engineering david 2015‑12‑23 Sim
Mohamed Mejri (Info) Universite Laval (Canada) (Computer Science Tree) Computer Science pq 2016‑03‑26 Sim
Benjamin Livshits (Info) Stanford (Computer Science Tree) pq 2016‑01‑10 Sim
Martin Abadi (Info) UC Santa Cruz (Computer Science Tree) Computer Science pq 2016‑03‑28 Sim
Dan Grossman (Info) University of Washington (Computer Science Tree) david 2016‑01‑13 Sim
Mohammad Alshayeb (Info) King Fahd University of Petroleum and Minerals (Saudi Arabia) (Computer Science Tree) Computer Science pq 2016‑04‑05 Sim
Enrico Pontelli (Info) New Mexico State (Computer Science Tree) Computer Science pq 2016‑03‑29 Sim
Jens Palsberg (Info) UCLA (Computer Science Tree) compilers; embedded systems; programming languages; software engineering; information security david 2016‑01‑09 Sim
Timothy C. Lethbridge (Info) University of Ottawa (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim
George Necula (Info) UC Berkeley (Computer Science Tree) Programming Systems (PS); Security (SEC); software engineering, security, program analysis david 2016‑01‑10 Sim
Luigi Logrippo (Info) University of Ottawa (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim
Hillel Kugler (Info) Weizmann Institute (Computer Science Tree) Mathematics, Computer Science pq 2016‑03‑24 Sim
Val Tannen (Info) Penn (Computer Science Tree) Information Systems: Databases and Data Management, Theory: Formal Methods and Logic david 2016‑01‑08 Sim
Ali Mili (Info) West Virginia University (Computer Science Tree) Computer Science pq 2016‑03‑23 Sim
John Whaley (Info) Stanford (Computer Science Tree) pq 2016‑01‑10 Sim
Bharat Jayaraman (Info) SUNY Buffalo (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim
Rajeev Alur (Info) Penn (Computer Science Tree) Hardware and Software Systems: Real-Time, Embedded and Cyber-Physical Systems, Theory: Algorithms and Complexity david 2016‑01‑08 Sim
Kristian J. Hammond (Info) Northwestern (Computer Science Tree) Artificial intelligence, Machine-generated content, Context-driven information systems pq 2016‑03‑24 Sim
Hosagrahar V. Jagadish (Info) University of Michigan (LinguisTree) Computer Science, Experimental Psychology, Linguistics Language pq 2016‑03‑12 Sim
Steve Zdancewic (Info) Penn (Computer Science Tree) Computer Science pq 2016‑03‑29 Sim
Shuvendu K. Lahiri (Info) Carnegie Mellon (Computer Science Tree) Computer Science, Electronics and Electrical Engineering pq 2016‑03‑25 Sim
Frank Pfenning (Info) Carnegie Mellon (Robotree) Computer Science, Robotics pq 2016‑01‑20 Sim
Sik-Sang Yau (Info) Arizona State (Computer Science Tree) Computer Science pq 2016‑04‑04 Sim
S Demeyer (Info) Universiteit Antwerpen (Belgium) (Computer Science Tree) Computer Science pq 2016‑03‑26 Sim
Andrew Lumsdaine (Info) Indiana University (Computer Science Tree) Computer Science pq 2016‑03‑23 Sim
David Rine (Info) George Mason (EduTree) Computer Science, Health Care Management, Education pq 2016‑01‑27 Sim
Susan Davidson (Info) Penn (Computer Science Tree) Information Systems: Computational Biology and Bioinformatics; Databases and Database Management david 2016‑01‑08 Sim
Dimitrios Vytiniotis (Info) Penn (Computer Science Tree) Theory: Formal Methods and Logic; Programming Languages and Program Analysis pq 2016‑01‑09 Sim
Amir Pnueli (Info) Weizmann Institute (Computer Science Tree) Mathematics, Computer Science pq 2016‑03‑24 Sim
Jose Meseguer (Info) UIUC (Computer Science Tree) Computer Science pq 2016‑04‑04 Sim
D. Stott Parker (Info) UCLA (Computer Science Tree) Data Mining; Bioinformatics; Database Management and Scientific Data Management; Modeling david 2016‑01‑09 Sim
Alfred V. Aho (Info) Columbia (Computer Science Tree) Compilers, Software Engineering, Algorithms, Quantum Computing david 2016‑01‑10 Sim
Robert Harper (Info) Carnegie Mellon (Computer Science Tree) david 2016‑01‑13 Sim
Chitta Baral (Info) Arizona State (Robotree) Computer Science, Logic, Robotics Engineering pq 2016‑02‑05 Sim
Zohar Manna (Info) Stanford (Philosophy Tree) Computer Science, Mathematics, Philosophy pq 2016‑03‑12 Sim
Robert Levinson (Info) UC Santa Cruz (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim
Stan Zdonik (Info) Brown (Computer Science Tree) Database Systems, Distributed Systems david 2015‑12‑23 Sim
Frederick C. Harris (Info) University of Nevada, Reno (BME Tree) Biomedical Engineering, Computer Engineering, Neuroscience Biology pq 2016‑02‑05 Sim
George F. Luger (Info) University of New Mexico, Albuquerque mdt 2016‑01‑23 Sim
George F. Luger (Info) University of New Mexico, Albuquerque mdt 2016‑01‑23 Sim
Sign in to add a new person