Similar researchers to Alfred Aho: 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
Jeffrey David Ullman (Info) Stanford (Computer Science Tree) database theory, database integration, data mining, education david 2016‑01‑11 Sim
Yannis Smaragdakis (Info) Georgia Tech (Computer Science Tree) Computer Science pq 2016‑03‑28 Sim
Laurie Hendren (Info) McGill (Computer Science Tree) Computer Science pq 2016‑03‑24 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
Jens Palsberg (Info) UCLA (Computer Science Tree) compilers; embedded systems; programming languages; software engineering; information security david 2016‑01‑09 Sim
Shriram Krishnamurthi (Info) Brown (Computer Science Tree) Programming Languages, Networking, Security and Cryptography, Software Engineering david 2015‑12‑23 Sim
Benjamin Livshits (Info) Stanford (Computer Science Tree) pq 2016‑01‑10 Sim
Martin Erwig (Info) Oregon State (Computer Science Tree) Computer Science pq 2016‑04‑18 Sim
Dan Grossman (Info) University of Washington (Computer Science Tree) david 2016‑01‑13 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
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
Andrew Lumsdaine (Info) Indiana University (Computer Science Tree) Computer Science pq 2016‑03‑23 Sim
Hridesh Rajan (Info) Iowa State (Computer Science Tree) Computer Science pq 2016‑04‑18 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
Amir Pnueli (Info) Weizmann Institute (Computer Science Tree) Mathematics, Computer Science pq 2016‑03‑24 Sim
David Harel (Info) Weizmann Institute (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim
John Whaley (Info) Stanford (Computer Science Tree) pq 2016‑01‑10 Sim
Rupak Majumdar (Info) UCLA (Computer Science Tree) formal verification and control of systems; software verification and programming languages; game theoretic problems in verification; logic and automata theory david 2016‑01‑09 Sim
Mohamed Mejri (Info) Universite Laval (Canada) (Computer Science Tree) Computer Science pq 2016‑03‑26 Sim
Robert Harper (Info) Carnegie Mellon (Computer Science Tree) david 2016‑01‑13 Sim
Dimitrios Vytiniotis (Info) Penn (Computer Science Tree) Theory: Formal Methods and Logic; Programming Languages and Program Analysis pq 2016‑01‑09 Sim
George Necula (Info) UC Berkeley (Computer Science Tree) Programming Systems (PS); Security (SEC); software engineering, security, program analysis david 2016‑01‑10 Sim
Steve Zdancewic (Info) Penn (Computer Science Tree) Computer Science pq 2016‑03‑29 Sim
Hosagrahar V. Jagadish (Info) University of Michigan (LinguisTree) Computer Science, Experimental Psychology, Linguistics Language pq 2016‑03‑12 Sim
Zohar Manna (Info) Stanford (Philosophy Tree) Computer Science, Mathematics, Philosophy pq 2016‑03‑12 Sim
Barzan Mozafari (Info) UCLA (Computer Science Tree) knowledge-based systems; database systems; non-monotonic reasoning; spatio/temporal reasoning; scientific databases pq 2016‑01‑10 Sim
Sibylle Schupp (Info) RPI (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim
Vishal Goyal (Info) Rutgers, New Brunswick (Chemistry Tree) Chemical Engineering, Industrial Engineering, Operations Research pq 2016‑03‑22 Sim
David S. Wise (Info) Indiana University (Computer Science Tree) Computer Science pq 2016‑03‑26 Sim
Sik-Sang Yau (Info) Arizona State (Computer Science Tree) Computer Science pq 2016‑04‑04 Sim
Joseph M. Hellerstein (Info) UC Berkeley (Computer Science Tree) Database Management Systems (DBMS); Operating Systems & Networking (OSNT) david 2016‑01‑10 Sim
Umut A. Acar (Info) Carnegie Mellon (Computer Science Tree) pq 2016‑01‑13 Sim
Tachio Terauchi (Info) UC Berkeley (Computer Science Tree) Programming Systems (PS); Security (SEC); software engineering, security, program analysis pq 2016‑01‑11 Sim
D. Stott Parker (Info) UCLA (Computer Science Tree) Data Mining; Bioinformatics; Database Management and Scientific Data Management; Modeling david 2016‑01‑09 Sim
Greg Morrisett (Info) Harvard (Computer Science Tree) david 2016‑01‑13 Sim
Matthew Might (Info) Georgia Tech (Computer Science Tree) Computer Science pq 2016‑03‑26 Sim
Donald Knuth (Info) Stanford (MathTree) david 2016‑01‑09 Sim
Frank Pfenning (Info) Carnegie Mellon (Robotree) Computer Science, Robotics pq 2016‑01‑20 Sim
Paul Hudak (Info) Yale (Computer Science Tree) Computer Science pq 2016‑03‑30 Sim
Bjarne Stroustrup (Info) Columbia (Computer Science Tree) Distributed Systems, Design, Programming Techniques, Software Development Tools, and Programming Languages david 2016‑01‑10 Sim
Sumit Gulwani (Info) UC Berkeley (Computer Science Tree) Programming Systems (PS); Security (SEC); software engineering, security, program analysis pq 2016‑01‑11 Sim
Hojin Kee (Info) University of Maryland (E-Tree) pq 2015‑12‑21 Sim
Val Tannen (Info) Penn (Computer Science Tree) Information Systems: Databases and Data Management, Theory: Formal Methods and Logic david 2016‑01‑08 Sim
Pedro C. Diniz (Info) USC (Computer Science Tree) Computer Science pq 2016‑04‑18 Sim
Enrico Pontelli (Info) New Mexico State (Computer Science Tree) Computer Science pq 2016‑03‑29 Sim
Steven Skiena (Info) SUNY Stony Brook (Computer Science Tree) Algorithms, Computational Biology, Large-scale Text Analytics and Sentiment Analysis, Social Trends Analysis, Combinatorial Computing Environments david 2016‑01‑11 Sim
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
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
Sign in to add a new person