Similar researchers to Ronald Olsson: Advanced Search
Name Institution Area Added by Date  
Shriram Krishnamurthi (Info) Brown Programming Languages, Networking, Security and Cryptography, Software Engineering david 2015‑12‑23 Sim(0.81)
Hridesh Rajan (Info) Iowa State Computer Science pq 2016‑04‑18 Sim(0.8)
Matthias Felleisen (Info) Rice University Computer Science pq 2016‑03‑23 Sim(0.78)
Todd Millstein (Info) UCLA programming language design; static type systems; program analysis; software model checking; formal methods; compilers david 2016‑01‑09 Sim(0.78)
Robert B. Findler (Info) Rice University Computer Science pq 2016‑03‑25 Sim(0.78)
Paul Hudak (Info) Yale Computer Science pq 2016‑03‑30 Sim(0.77)
Yannis Smaragdakis (Info) Georgia Tech, U Mass Amherst, University of Oregon, University of Athens Computer Science pq 2016‑03‑28 Sim(0.77)
Steve Zdancewic (Info) Penn Computer Science pq 2016‑03‑29 Sim(0.77)
Greg Morrisett (Info) Cornell, Harvard david 2016‑01‑13 Sim(0.76)
Allen D. Malony (Info) University of Oregon Computer Science pq 2016‑03‑23 Sim(0.76)
Robert Harper (Info) Carnegie Mellon david 2016‑01‑13 Sim(0.76)
Troy A. Johnson (Info) Purdue Computer Science pq 2016‑02‑10 Sim(0.75)
Laurie Hendren (Info) McGill Computer Science pq 2016‑03‑24 Sim(0.75)
John D. Backes (Info) UMN Computer Engineering, Electronics and Electrical Engineering, Computer Science pq 2016‑04‑19 Sim(0.75)
Nicholas A. Kraft (Info) Clemson University Computer Science pq 2016‑03‑27 Sim(0.75)
Andrew Appel (Info) Princeton Software verification, computer security, programming languages, compilers. david 2016‑01‑13 Sim(0.75)
Stephen Rochefort (Info) Simon Fraser Computer Science pq 2016‑03‑26 Sim(0.74)
Alessandro Warth (Info) UCLA programming language design; static type systems; program analysis; software model checking; formal methods; compilers pq 2016‑01‑10 Sim(0.74)
Stephen N. Freund (Info) Stanford pq 2016‑01‑10 Sim(0.74)
Benjamin L. Titzer (Info) UCLA compilers; embedded systems; programming languages; software engineering; information security pq 2016‑01‑10 Sim(0.74)
Dan Grossman (Info) University of Washington david 2016‑01‑13 Sim(0.74)
Benjamin C. Pierce (Info) Penn Information Systems: Databases and Information Management, Theory: Formal Methods and Logic; Programming Languages and Program Analysis david 2016‑01‑08 Sim(0.74)
Kedar N. Swadi (Info) Princeton Software verification, computer security, programming languages, compilers. pq 2016‑01‑13 Sim(0.73)
Frank Pfenning (Info) Carnegie Mellon (Robotree) Computer Science, Robotics pq 2016‑01‑20 Sim(0.73)
Bruce W. Weide (Info) Ohio State Computer Science pq 2016‑03‑24 Sim(0.73)
Philip Resnik (Info) University of Maryland (LinguisTree) Computational linguistics, Lexical semantics david 2016‑01‑12 Sim(0.73)
Hillel Kugler (Info) Weizmann Institute Mathematics, Computer Science pq 2016‑03‑24 Sim(0.73)
David Harel (Info) Weizmann Institute Computer Science pq 2016‑03‑24 Sim(0.73)
Nalini Vasudevan (Info) Columbia Compilers, Embedded Systems, VLSI, Computer-aided Design, Digital Systems, Languages pq 2016‑01‑11 Sim(0.72)
Geoffrey C. Hulette (Info) University of Oregon Computer Science pq 2016‑03‑25 Sim(0.72)
Martin Erwig (Info) Oregon State Computer Science pq 2016‑04‑18 Sim(0.72)
John F. Pane (Info) Carnegie Mellon Computer Science pq 2016‑03‑26 Sim(0.72)
Stephanie Weirich (Info) Penn Theory: Formal Methods and Logic; Programming Languages and Program Analysis david 2016‑01‑08 Sim(0.72)
Konrad Slind (Info) University of Utah Computer Science pq 2016‑03‑24 Sim(0.72)
Robert Cartwright (Info) Rice University Computer Science pq 2016‑03‑29 Sim(0.71)
Bjarne Stroustrup (Info) Columbia Distributed Systems, Design, Programming Techniques, Software Development Tools, and Programming Languages david 2016‑01‑10 Sim(0.71)
Brent A. Yorgey (Info) Penn Theory: Formal Methods and Logic; Programming Languages and Program Analysis pq 2016‑01‑09 Sim(0.71)
Nathan Whitehead (Info) UC Santa Cruz Computer Science pq 2016‑03‑29 Sim(0.71)
Gary T. Leavens (Info) Iowa State Computer Science pq 2016‑03‑26 Sim(0.71)
Sibylle Schupp (Info) RPI Computer Science pq 2016‑03‑24 Sim(0.71)
Chitta Baral (Info) Arizona State (Robotree) Computer Science, Logic, Robotics Engineering pq 2016‑02‑05 Sim(0.71)
Piotr Rudnicki (Info) University of Alberta Computer Science pq 2016‑03‑24 Sim(0.71)
Dimitrios Vytiniotis (Info) Penn Theory: Formal Methods and Logic; Programming Languages and Program Analysis pq 2016‑01‑09 Sim(0.71)
Iffat H. Kazi (Info) UMN (MathTree) Electronics and Electrical Engineering, Computer Science pq 2016‑03‑14 Sim(0.71)
Benjamin Livshits (Info) Stanford pq 2016‑01‑10 Sim(0.71)
Alfred V. Aho (Info) Columbia Compilers, Software Engineering, Algorithms, Quantum Computing david 2016‑01‑10 Sim(0.71)
Christopher A. Stone (Info) Carnegie Mellon pq 2016‑01‑13 Sim(0.71)
Tyler Sondag (Info) Iowa State Computer Science pq 2016‑04‑18 Sim(0.71)
Timothy C. Lethbridge (Info) University of Ottawa Computer Science pq 2016‑03‑24 Sim(0.71)
Timothy C. Lethbridge (Info) University of Ottawa Computer Science pq 2016‑03‑24 Sim(0.71)
Sign in to add a new person