Similar researchers to Bharat Jayaraman: Advanced Search
Name Institution Area Added by Date  
David Harel (Info) Weizmann Institute (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.78)
Yannis Smaragdakis (Info) Georgia Tech (Computer Science Tree) Computer Science pq 2016‑03‑28 Sim(0.76)
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(0.76)
Sibylle Schupp (Info) RPI (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.76)
Peter Brooke (Info) Macquarie University (Physics Tree) barrycsanders 2015‑12‑04 Sim(0.76)
Martin Erwig (Info) Oregon State (Computer Science Tree) Computer Science pq 2016‑04‑18 Sim(0.75)
Jose Meseguer (Info) UIUC (Computer Science Tree) Computer Science pq 2016‑04‑04 Sim(0.75)
Andrew Appel (Info) Princeton (Computer Science Tree) Software verification, computer security, programming languages, compilers. david 2016‑01‑13 Sim(0.75)
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.75)
Hridesh Rajan (Info) Iowa State (Computer Science Tree) Computer Science pq 2016‑04‑18 Sim(0.75)
C. R. Ramakrishnan (Info) SUNY Stony Brook (Computer Science Tree) Logic Programming, Programming Languages, Verification. david 2016‑01‑11 Sim(0.75)
Bjarne Stroustrup (Info) Columbia (Computer Science Tree) Distributed Systems, Design, Programming Techniques, Software Development Tools, and Programming Languages david 2016‑01‑10 Sim(0.75)
Dan Grossman (Info) University of Washington (Computer Science Tree) david 2016‑01‑13 Sim(0.74)
Luigi Logrippo (Info) University of Ottawa (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.74)
Shriram Krishnamurthi (Info) Brown (Computer Science Tree) Programming Languages, Networking, Security and Cryptography, Software Engineering david 2015‑12‑23 Sim(0.74)
Hillel Kugler (Info) Weizmann Institute (Computer Science Tree) Mathematics, Computer Science pq 2016‑03‑24 Sim(0.74)
Mohamed Mejri (Info) Universite Laval (Canada) (Computer Science Tree) Computer Science pq 2016‑03‑26 Sim(0.74)
Timothy C. Lethbridge (Info) University of Ottawa (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.74)
Shuvendu K. Lahiri (Info) Carnegie Mellon (Computer Science Tree) Computer Science, Electronics and Electrical Engineering pq 2016‑03‑25 Sim(0.74)
Amir Pnueli (Info) Weizmann Institute (Computer Science Tree) Mathematics, Computer Science pq 2016‑03‑24 Sim(0.74)
Michael Kifer (Info) SUNY Stony Brook (Computer Science Tree) Declarative Languages for Data and Knowledge Manipulation, The Semantic Web, Integration of Object-oriented and Deductive Paradigms, Object-oriented Databases david 2016‑01‑11 Sim(0.74)
Tran C. Son (Info) New Mexico State (Computer Science Tree) Computer Science pq 2016‑04‑18 Sim(0.73)
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.73)
Ali Mili (Info) West Virginia University (Computer Science Tree) Computer Science pq 2016‑03‑23 Sim(0.73)
Jens Palsberg (Info) UCLA (Computer Science Tree) compilers; embedded systems; programming languages; software engineering; information security david 2016‑01‑09 Sim(0.73)
Benjamin Livshits (Info) Stanford (Computer Science Tree) pq 2016‑01‑10 Sim(0.73)
Haim Gaifman (Info) Columbia (Philosophy Tree) Logic, Foundations of Probability; Rational Choice, Philosophy of Mathematics, Philosophy of Language, Frege, Russell, Wittgenstein. david 2016‑01‑10 Sim(0.73)
John Whaley (Info) Stanford (Computer Science Tree) pq 2016‑01‑10 Sim(0.73)
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.73)
Steve Zdancewic (Info) Penn (Computer Science Tree) Computer Science pq 2016‑03‑29 Sim(0.73)
S Demeyer (Info) Universiteit Antwerpen (Belgium) (Computer Science Tree) Computer Science pq 2016‑03‑26 Sim(0.73)
Zohar Manna (Info) Stanford (Philosophy Tree) Computer Science, Mathematics, Philosophy pq 2016‑03‑12 Sim(0.73)
Lori A. Clarke (Info) U Mass Amherst (Computer Science Tree) Computer Science pq 2016‑03‑23 Sim(0.73)
Chitta Baral (Info) Arizona State (Robotree) Computer Science, Logic, Robotics Engineering pq 2016‑02‑05 Sim(0.73)
Tevfik Bultan (Info) UC Santa Barbara (Computer Science Tree) david 2016‑01‑14 Sim(0.72)
Val Tannen (Info) Penn (Computer Science Tree) Information Systems: Databases and Data Management, Theory: Formal Methods and Logic david 2016‑01‑08 Sim(0.72)
Gul Agha (Info) UIUC (Robotree) Computer Science, Robotics Engineering pq 2016‑02‑05 Sim(0.72)
Mohammad Alshayeb (Info) King Fahd University of Petroleum and Minerals (Saudi Arabia) (Computer Science Tree) Computer Science pq 2016‑04‑05 Sim(0.72)
Nick Cercone (Info) University of Waterloo (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.72)
David Rine (Info) George Mason (EduTree) Computer Science, Health Care Management, Education pq 2016‑01‑27 Sim(0.72)
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(0.72)
Rommel N. Carvalho (Info) George Mason (MathTree) Operations Research, Computer Science, General Engineering pq 2016‑02‑11 Sim(0.72)
Sik-Sang Yau (Info) Arizona State (Computer Science Tree) Computer Science pq 2016‑04‑04 Sim(0.72)
George Necula (Info) UC Berkeley (Computer Science Tree) Programming Systems (PS); Security (SEC); software engineering, security, program analysis david 2016‑01‑10 Sim(0.72)
Robert B. Findler (Info) Rice University (Computer Science Tree) Computer Science pq 2016‑03‑25 Sim(0.72)
Jean-Pierre Corriveau (Info) Carleton University (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.71)
Aniruddha Gokhale (Info) Vanderbilt (Computer Science Tree) Computer Science pq 2016‑04‑04 Sim(0.71)
Pieter Van Gorp (Info) Universiteit Antwerpen (Belgium) (Computer Science Tree) Computer Science pq 2016‑03‑27 Sim(0.71)
Scott Smolka (Info) SUNY Stony Brook (Computer Science Tree) Model Checking, Semantics of Concurrency, CASE Tools for Safety-Critical Systems, Distributed Languages and Algorithms. david 2016‑01‑11 Sim(0.71)
Scott Smolka (Info) SUNY Stony Brook (Computer Science Tree) Model Checking, Semantics of Concurrency, CASE Tools for Safety-Critical Systems, Distributed Languages and Algorithms. david 2016‑01‑11 Sim(0.71)
Sign in to add a new person