Similar researchers to Karl Crary: Advanced Search
Name Institution Area Added by Date  
Kedar N. Swadi (Info) Princeton (Computer Science Tree) Software verification, computer security, programming languages, compilers. pq 2016‑01‑13 Sim(0.64)
Shriram Krishnamurthi (Info) Brown (Computer Science Tree) Programming Languages, Networking, Security and Cryptography, Software Engineering david 2015‑12‑23 Sim(0.64)
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.63)
Yannis Smaragdakis (Info) Georgia Tech (Computer Science Tree) Computer Science pq 2016‑03‑28 Sim(0.63)
Frank Pfenning (Info) Carnegie Mellon (Robotree) Computer Science, Robotics pq 2016‑01‑20 Sim(0.63)
Andrew Appel (Info) Princeton (Computer Science Tree) Software verification, computer security, programming languages, compilers. david 2016‑01‑13 Sim(0.63)
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.63)
Dan Grossman (Info) University of Washington (Computer Science Tree) david 2016‑01‑13 Sim(0.62)
Laurie Hendren (Info) McGill (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.62)
Ryan Wisnesky (Info) Harvard (Computer Science Tree) pq 2016‑01‑13 Sim(0.62)
Steve Zdancewic (Info) Penn (Computer Science Tree) Computer Science pq 2016‑03‑29 Sim(0.62)
Matthias Felleisen (Info) Rice University (Computer Science Tree) Computer Science pq 2016‑03‑23 Sim(0.62)
Dimitrios Vytiniotis (Info) Penn (Computer Science Tree) Theory: Formal Methods and Logic; Programming Languages and Program Analysis pq 2016‑01‑09 Sim(0.62)
Robert Harper (Info) Carnegie Mellon (Computer Science Tree) david 2016‑01‑13 Sim(0.62)
Benjamin Livshits (Info) Stanford (Computer Science Tree) pq 2016‑01‑10 Sim(0.62)
Greg Morrisett (Info) Harvard (Computer Science Tree) david 2016‑01‑13 Sim(0.61)
Bjarne Stroustrup (Info) Columbia (Computer Science Tree) Distributed Systems, Design, Programming Techniques, Software Development Tools, and Programming Languages david 2016‑01‑10 Sim(0.61)
Robert B. Findler (Info) Rice University (Computer Science Tree) Computer Science pq 2016‑03‑25 Sim(0.61)
Martin Erwig (Info) Oregon State (Computer Science Tree) Computer Science pq 2016‑04‑18 Sim(0.61)
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.6)
Paul Hudak (Info) Yale (Computer Science Tree) Computer Science pq 2016‑03‑30 Sim(0.6)
Mohamed Mejri (Info) Universite Laval (Canada) (Computer Science Tree) Computer Science pq 2016‑03‑26 Sim(0.6)
Alfred V. Aho (Info) Columbia (Computer Science Tree) Compilers, Software Engineering, Algorithms, Quantum Computing david 2016‑01‑10 Sim(0.6)
Val Tannen (Info) Penn (Computer Science Tree) Information Systems: Databases and Data Management, Theory: Formal Methods and Logic david 2016‑01‑08 Sim(0.6)
D. von Dincklage (Info) CU Boulder (Computer Science Tree) Computer Science pq 2016‑03‑25 Sim(0.6)
Kristian J. Hammond (Info) Northwestern (Computer Science Tree) Artificial intelligence, Machine-generated content, Context-driven information systems pq 2016‑03‑24 Sim(0.59)
Ronald A. Olsson (Info) UC Davis (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.59)
Bruce W. Weide (Info) Ohio State (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.59)
Despoina Perouli (Info) Purdue (Computer Science Tree) Computer Science, Computer Engineering, Mathematics pq 2016‑03‑25 Sim(0.59)
Konrad Slind (Info) University of Utah (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.59)
Allen D. Malony (Info) University of Oregon (Computer Science Tree) Computer Science pq 2016‑03‑23 Sim(0.59)
Gary T. Leavens (Info) Iowa State (Computer Science Tree) Computer Science pq 2016‑03‑26 Sim(0.59)
Dennis Gannon (Info) Indiana University (Computer Science Tree) Computer Science, Information Science, Commerce-Business Economics pq 2016‑03‑23 Sim(0.59)
Pramod Jamkhedkar (Info) Univ. of New Mexico (E-Tree) Computer Engineering, Computer Science pq 2016‑03‑23 Sim(0.59)
Brent A. Yorgey (Info) Penn (Computer Science Tree) Theory: Formal Methods and Logic; Programming Languages and Program Analysis pq 2016‑01‑09 Sim(0.59)
Chitta Baral (Info) Arizona State (Robotree) Computer Science, Logic, Robotics Engineering pq 2016‑02‑05 Sim(0.59)
Prakash Prabhu (Info) Princeton (Computer Science Tree) Computer Architecture and Compilers. pq 2016‑01‑13 Sim(0.59)
Ali Mili (Info) West Virginia University (Computer Science Tree) Computer Science pq 2016‑03‑23 Sim(0.59)
Robert R. Schneck (Info) UC Berkeley (Computer Science Tree) Programming Systems (PS); Security (SEC); software engineering, security, program analysis pq 2016‑01‑11 Sim(0.59)
Michael T. Gamble (Info) University of Tulsa (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.59)
Robert L. Bocchino (Info) UIUC (Computer Science Tree) Computer Science pq 2016‑03‑31 Sim(0.59)
Bharat Jayaraman (Info) SUNY Buffalo (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.58)
Robert Cartwright (Info) Rice University (Computer Science Tree) Computer Science pq 2016‑03‑29 Sim(0.58)
Brigitte Pientka (Info) Carnegie Mellon (Robotree) Computer Science, Robotics pq 2016‑01‑21 Sim(0.58)
Michael R. Genesereth (Info) Stanford (Computer Science Tree) Computer Science pq 2016‑03‑26 Sim(0.58)
Sibylle Schupp (Info) RPI (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.58)
Susan Davidson (Info) Penn (Computer Science Tree) Information Systems: Computational Biology and Bioinformatics; Databases and Database Management david 2016‑01‑08 Sim(0.58)
Mohammad Alshayeb (Info) King Fahd University of Petroleum and Minerals (Saudi Arabia) (Computer Science Tree) Computer Science pq 2016‑04‑05 Sim(0.58)
Zohar Manna (Info) Stanford (Philosophy Tree) Computer Science, Mathematics, Philosophy pq 2016‑03‑12 Sim(0.58)
Zohar Manna (Info) Stanford (Philosophy Tree) Computer Science, Mathematics, Philosophy pq 2016‑03‑12 Sim(0.58)
Sign in to add a new person