Similar researchers to Willy Sansen:
Advanced Search
|
Name |
Institution |
Area |
Added by |
Date |
|
Willy Sansen (Info) |
UC Berkeley (E-Tree) |
|
uk14 |
2020‑11‑26 |
|
Chris Hawblitzel (Info) |
Dartmouth (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑24 |
Sim(0.09) |
Yannis Smaragdakis (Info) |
University of Athens (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑28 |
Sim(0.09) |
Amer Diwan (Info) |
CU Boulder (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑23 |
Sim(0.1) |
Christoph Reichenbach (Info) |
CU Boulder (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑25 |
Sim(0.1) |
Gary T. Leavens (Info) |
Iowa State (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑26 |
Sim(0.12) |
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.12) |
Ram Kinkar Roy (Info) |
BITS Pilani (Chemistry Tree) |
Physical chemistry, Quantum chemistry |
connectingresearchers |
2020‑11‑26 |
Sim(0.12) |
David C. Luckham (Info) |
Stanford (Computer Science Tree) |
Electronics and Electrical Engineering, Computer Science |
pq |
2016‑03‑24 |
Sim(0.12) |
Ronald A. Olsson (Info) |
UC Davis (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑24 |
Sim(0.13) |
Samuel N. Kamin (Info) |
UIUC (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑24 |
Sim(0.14) |
Aaron W. Keen (Info) |
UC Davis (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑26 |
Sim(0.16) |
Edward E. Aftandilian (Info) |
Tufts (Computer Science Tree) |
Computer Science |
pq |
2016‑04‑04 |
Sim(0.16) |
Georges Gielen (Info) |
Katholieke Universiteit Leuven, Belgium (E-Tree) |
|
uk14 |
2020‑11‑26 |
Sim(0.16) |
D. von Dincklage (Info) |
CU Boulder (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑25 |
Sim(0.17) |
William L. Scherlis (Info) |
Carnegie Mellon (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑24 |
Sim(0.18) |
Koushik Sen (Info) |
UC Berkeley (Computer Science Tree) |
Programming Systems (PS), Software Engineering, Programming Languages, and Formal Methods: Software Testing, Verification, Model Checking, Runtime Monitoring, Performance Evaluation, and Computational Logic.; Security (SEC) |
david |
2016‑01‑10 |
Sim(0.18) |
Deling Ren (Info) |
Oregon State (Computer Science Tree) |
Computer Science |
pq |
2016‑04‑19 |
Sim(0.18) |
Vijay S. Menon (Info) |
Cornell (Computer Science Tree) |
algorithms |
pq |
2016‑01‑01 |
Sim(0.18) |
Zhong Shao (Info) |
Yale (Computer Science Tree) |
|
david |
2016‑01‑02 |
Sim(0.19) |
Todd Mytkowicz (Info) |
CU Boulder (Computer Science Tree) |
Computer Science, System Science Engineering |
pq |
2016‑03‑25 |
Sim(0.19) |
Stephen N. Freund (Info) |
Stanford (Computer Science Tree) |
|
pq |
2016‑01‑10 |
Sim(0.19) |
Andrew Appel (Info) |
Princeton (Computer Science Tree) |
Software verification, computer security, programming languages, compilers. |
david |
2016‑01‑13 |
Sim(0.19) |
Dan Grossman (Info) |
University of Washington (Computer Science Tree) |
|
david |
2016‑01‑13 |
Sim(0.19) |
Maksym Petrenko (Info) |
Wayne State (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑26 |
Sim(0.19) |
Adam J. Chlipala (Info) |
UC Berkeley (Computer Science Tree) |
Programming Systems (PS); Security (SEC); software engineering, security, program analysis |
pq |
2016‑01‑11 |
Sim(0.19) |
M. Hunter Giese (Info) |
Columbia (Chemistry Tree) |
Ion channel structure and function |
mhuntergi |
2017‑09‑19 |
Sim(0.19) |
Gregor Kiczales (Info) |
UBC (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑24 |
Sim(0.2) |
Adam Welc (Info) |
Purdue (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑25 |
Sim(0.2) |
G V. Cormack (Info) |
University of Waterloo (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑23 |
Sim(0.2) |
Martin Hirzel (Info) |
CU Boulder (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑25 |
Sim(0.2) |
Yadong Liu (Info) |
UC Berkeley (E-Tree) |
Mechanical Engineering, Electronics and Electrical Engineering |
pq |
2016‑03‑20 |
Sim(0.2) |
Hongseok Yang (Info) |
UIUC (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑25 |
Sim(0.2) |
Matthew Fluet (Info) |
Cornell (Computer Science Tree) |
|
pq |
2016‑01‑13 |
Sim(0.2) |
Marc Eaddy (Info) |
Columbia (Computer Science Tree) |
Compilers, Software Engineering, Algorithms, Quantum Computing |
pq |
2016‑01‑11 |
Sim(0.21) |
Arun Lakhotia (Info) |
University of Louisiana at Lafayette (Robotree) |
Computer Science, Artificial Intelligence, Robotics Engineering |
pq |
2016‑02‑05 |
Sim(0.21) |
Walter Salzburger (Info) |
University of Konstanz (Evolution Tree) |
|
ClaudiusKratochwil |
2016‑09‑11 |
Sim(0.22) |
Johannes Henkel (Info) |
CU Boulder (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑25 |
Sim(0.22) |
Robert Cartwright (Info) |
Rice University (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑29 |
Sim(0.22) |
Antony L. Hosking (Info) |
Purdue (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑24 |
Sim(0.22) |
Andreas Lochbihler (Info) |
KIT, Karlsruhe, Germany (Computer Science Tree) |
|
hammer |
2018‑05‑04 |
Sim(0.22) |
Brian A. Malloy (Info) |
Clemson University (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑26 |
Sim(0.22) |
Suan H. Yong (Info) |
UW Madison (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑25 |
Sim(0.22) |
Bruce W. Weide (Info) |
Ohio State (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑24 |
Sim(0.23) |
Robert B. Findler (Info) |
Rice University (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑25 |
Sim(0.23) |
Hridesh Rajan (Info) |
Iowa State (Computer Science Tree) |
Computer Science |
pq |
2016‑04‑18 |
Sim(0.23) |
R Kent Dybvig (Info) |
Indiana University Bloomington (Computer Science Tree) |
Computer Science |
pq |
2016‑04‑04 |
Sim(0.23) |
John G. Morrisett (Info) |
Harvard (E-Tree) |
Computer Science |
pq |
2016‑03‑30 |
Sim(0.23) |
Duane Szafron (Info) |
University of Alberta (Computer Science Tree) |
Computer Science |
pq |
2016‑03‑24 |
Sim(0.24) |
Charles D. Knutson (Info) |
BYU (Computer Science Tree) |
Computer Science |
pq |
2016‑04‑18 |
Sim(0.24) |
Sign in to add a new person |