Similar researchers to Koushik Sen: Advanced Search
Name Institution Area Added by Date  
Yannis Smaragdakis (Info) Georgia Tech, University of Oregon, U Mass Amherst, University of Athens Computer Science pq 2016‑03‑28 Sim(0.62)
Christoph Reichenbach (Info) CU Boulder Computer Science pq 2016‑03‑25 Sim(0.62)
Yoonsik Cheon (Info) Iowa State Computer Science pq 2016‑03‑27 Sim(0.64)
Gary T. Leavens (Info) Iowa State Computer Science pq 2016‑03‑26 Sim(0.68)
Abhik Roychoudhury (Info) SUNY Stony Brook Artificial Intelligence, Computational Logic, Machine Learning/Computational Logic Combination, Information Retrieval, Computer Accessibility pq 2016‑01‑12 Sim(0.79)
Mehmet E. Keremoglu (Info) Simon Fraser Computer Science pq 2016‑04‑20 Sim(0.81)
David C. Luckham (Info) Stanford Electronics and Electrical Engineering, Computer Science pq 2016‑03‑24 Sim(0.83)
Amer Diwan (Info) CU Boulder Computer Science pq 2016‑03‑23 Sim(0.85)
Andreas Zeller (Info) Technical University Braunschweig hammer 2018‑05‑04 Sim(0.9)
Todd Millstein (Info) UCLA programming language design; static type systems; program analysis; software model checking; formal methods; compilers david 2016‑01‑09 Sim(0.91)
Arun Lakhotia (Info) University of Louisiana at Lafayette (Robotree) Computer Science, Artificial Intelligence, Robotics Engineering pq 2016‑02‑05 Sim(0.93)
Jonathan P Bowen (Info) London South Bank University Computer science, software engineering, formal methods, museum informatics jpbowen 2019‑04‑26 Sim(0.96)
Grigore Rosu (Info) UCSD System Science Engineering pq 2016‑03‑25 Sim(0.97)
James R. Cordy (Info) Queen's University, Canada Computer Science pq 2016‑03‑24 Sim(1)
Cormac Flanagan (Info) UC Santa Cruz Computer Science pq 2016‑04‑04 Sim(1.02)
Samuel P. Midkiff (Info) Purdue (E-Tree) Computer Science pq 2016‑01‑24 Sim(1.04)
Jens Palsberg (Info) UCLA compilers; embedded systems; programming languages; software engineering; information security david 2016‑01‑09 Sim(1.06)
J R. Cordy (Info) Queen's University, Canada (MathTree) Computer Science, Mathematics pq 2016‑03‑12 Sim(1.06)
David Roy Hanson (Info) Yale, University of Arizona, Princeton computer science jandh 2020‑11‑26 Sim(1.07)
P David Stotts (Info) UNC Chapel Hill Computer Science pq 2016‑03‑24 Sim(1.08)
Ranjit Jhala (Info) UCSD (E-Tree) Computer Science pq 2016‑03‑21 Sim(1.08)
Martin Hirzel (Info) CU Boulder Computer Science pq 2016‑03‑25 Sim(1.09)
Radhia Cousot (Info) Kansas State University Computer Science pq 2016‑03‑26 Sim(1.1)
Brian A. Malloy (Info) Clemson University Computer Science pq 2016‑03‑26 Sim(1.1)
Cliff B. Jones (Info) Newcastle University rodrigogribeiro 2017‑09‑19 Sim(1.1)
Hridesh Rajan (Info) Iowa State Computer Science pq 2016‑04‑18 Sim(1.11)
C. R. Ramakrishnan (Info) SUNY Stony Brook Logic Programming, Programming Languages, Verification. david 2016‑01‑11 Sim(1.13)
Robert B. Findler (Info) Rice University Computer Science pq 2016‑03‑25 Sim(1.13)
Mark Grechanik (Info) UT Austin (E-Tree) Computer Science pq 2016‑03‑15 Sim(1.14)
Eli Tilevich (Info) Georgia Tech Computer Science pq 2016‑03‑29 Sim(1.14)
Andrew Appel (Info) Princeton Software verification, computer security, programming languages, compilers. david 2016‑01‑13 Sim(1.14)
Dan Grossman (Info) University of Washington david 2016‑01‑13 Sim(1.15)
Chris Hawblitzel (Info) Dartmouth Computer Science pq 2016‑03‑24 Sim(1.15)
Aaron W. Keen (Info) UC Davis Computer Science pq 2016‑03‑26 Sim(1.15)
Mary L. Soffa (Info) University of Pittsburgh (MathTree) Statistics pq 2016‑03‑12 Sim(1.16)
Matthew Fluet (Info) Cornell pq 2016‑01‑13 Sim(1.17)
Adam Welc (Info) Purdue Computer Science pq 2016‑03‑25 Sim(1.17)
Gregor Snelting (Info) KIT, Karlsruhe, Germany hammer 2018‑05‑04 Sim(1.17)
Jonathan E. Aldrich (Info) University of Washington Computer Science pq 2016‑03‑25 Sim(1.17)
Duane Szafron (Info) University of Alberta Computer Science pq 2016‑03‑24 Sim(1.18)
Mihai Christodorescu (Info) UW Madison Computer Science pq 2016‑03‑27 Sim(1.18)
James R. Cheney (Info) Cornell pq 2016‑01‑13 Sim(1.19)
Antony L. Hosking (Info) Purdue Computer Science pq 2016‑03‑24 Sim(1.2)
Martin Erwig (Info) Oregon State Computer Science pq 2016‑04‑18 Sim(1.2)
Marc Feeley (Info) Université de Montréal Computer Science pq 2016‑03‑24 Sim(1.2)
Todd Mytkowicz (Info) CU Boulder Computer Science, System Science Engineering pq 2016‑03‑25 Sim(1.2)
William Pugh (Info) University of Maryland Programming Languages david 2016‑01‑07 Sim(1.2)
Ganesh Gopalakrishnan (Info) University of Utah Computer Science pq 2016‑03‑24 Sim(1.2)
Dirk Beyer (Info) Simon Fraser, University of Passau, Universität München Computer Science pq 2016‑04‑18 Sim(1.21)
David A. Naumann (Info) Stevens Institute of Technology Computer Science, Logic pq 2016‑04‑04 Sim(1.21)
Sign in to add a new person