Similar researchers to Mourad Debbabi: Advanced Search
Name Institution Area Added by Date  
C. R. Ramakrishnan (Info) SUNY Stony Brook (Computer Science Tree) Logic Programming, Programming Languages, Verification. david 2016‑01‑11 Sim(0.7)
Jose Meseguer (Info) UIUC (Computer Science Tree) Computer Science pq 2016‑04‑04 Sim(0.69)
Amir Pnueli (Info) Weizmann Institute (Computer Science Tree) Mathematics, Computer Science pq 2016‑03‑24 Sim(0.69)
Sotiene Tahar (Info) Concordia (Computer Science Tree) Electronics and Electrical Engineering, Computer Science pq 2016‑03‑24 Sim(0.69)
Zohar Manna (Info) Stanford (Philosophy Tree) Computer Science, Mathematics, Philosophy pq 2016‑03‑12 Sim(0.68)
Petko Valtchev (Info) Université de Montréal (Computer Science Tree) Computer Science pq 2016‑04‑18 Sim(0.68)
Vaughan Pratt (Info) Stanford (Computer Science Tree) david 2016‑01‑09 Sim(0.68)
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.68)
Houari Sahraoui (Info) Université de Montréal (Computer Science Tree) Computer Science pq 2016‑04‑18 Sim(0.68)
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.67)
Rommel N. Carvalho (Info) George Mason (MathTree) Operations Research, Computer Science, General Engineering pq 2016‑02‑11 Sim(0.67)
Peter Brooke (Info) Macquarie University (Physics Tree) barrycsanders 2015‑12‑04 Sim(0.67)
Sanjit A. Seshia (Info) UC Berkeley (E-Tree) Design, Modeling and Analysis (DMA); Programming Systems (PS); Dependable Computing; Computational Logic; Formal Methods; Control, Intelligent Systems, and Robotics (CIR); Security (SEC); Theory (THY) david 2016‑01‑10 Sim(0.67)
Bharat Jayaraman (Info) SUNY Buffalo (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.67)
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.67)
Ali Mili (Info) West Virginia University (Computer Science Tree) Computer Science pq 2016‑03‑23 Sim(0.67)
D. Stott Parker (Info) UCLA (Computer Science Tree) Data Mining; Bioinformatics; Database Management and Scientific Data Management; Modeling david 2016‑01‑09 Sim(0.67)
Lori A. Clarke (Info) U Mass Amherst (Computer Science Tree) Computer Science pq 2016‑03‑23 Sim(0.66)
Arun Lakhotia (Info) University of Louisiana at Lafayette (Robotree) Computer Science, Artificial Intelligence, Robotics Engineering pq 2016‑02‑05 Sim(0.66)
Eduard Hovy (Info) USC (LinguisTree) Computer Science, Artificial Intelligence, Linguistics Language pq 2016‑03‑12 Sim(0.66)
Sik-Sang Yau (Info) Arizona State (Computer Science Tree) Computer Science pq 2016‑04‑04 Sim(0.66)
David Harel (Info) Weizmann Institute (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.66)
Tevfik Bultan (Info) UC Santa Barbara (Computer Science Tree) david 2016‑01‑14 Sim(0.66)
Hafedh Mili (Info) Université de Montréal (Computer Science Tree) Computer Science pq 2016‑04‑18 Sim(0.66)
Robert Levinson (Info) UC Santa Cruz (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.66)
Luigi Logrippo (Info) University of Ottawa (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.66)
Abraham Silberschatz (Info) Yale (Computer Science Tree) david 2016‑01‑02 Sim(0.66)
Stan Zdonik (Info) Brown (Computer Science Tree) Database Systems, Distributed Systems david 2015‑12‑23 Sim(0.66)
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.66)
Deepak Kapur (Info) Univ. of New Mexico (MathTree) Computer Science, Mathematics pq 2016‑03‑12 Sim(0.66)
Marouane Kessentini (Info) Université de Montréal (Computer Science Tree) Computer Science pq 2016‑04‑19 Sim(0.66)
Scott Stoller (Info) SUNY Stony Brook (Computer Science Tree) Distributed Systems, Fault-tolerance and Security, Software Testing and Verification, Program Analysis and Optimization. david 2016‑01‑11 Sim(0.66)
Hosagrahar V. Jagadish (Info) University of Michigan (LinguisTree) Computer Science, Experimental Psychology, Linguistics Language pq 2016‑03‑12 Sim(0.66)
David Rine (Info) George Mason (EduTree) Computer Science, Health Care Management, Education pq 2016‑01‑27 Sim(0.66)
Gul Agha (Info) UIUC (Robotree) Computer Science, Robotics Engineering pq 2016‑02‑05 Sim(0.66)
Martin Erwig (Info) Oregon State (Computer Science Tree) Computer Science pq 2016‑04‑18 Sim(0.66)
Jens Palsberg (Info) UCLA (Computer Science Tree) compilers; embedded systems; programming languages; software engineering; information security david 2016‑01‑09 Sim(0.66)
Alex Doboli (Info) SUNY Stony Brook (E-Tree) CAD for electronic circuits and systems; specification, modeling, and synthesis of analog and mixed-signal circuits; Cyber-Physical and embedded (hardware-software) systems; methodologies for innovation in electronic design. david 2016‑01‑11 Sim(0.65)
Nick Cercone (Info) University of Waterloo (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.65)
John Whaley (Info) Stanford (Computer Science Tree) pq 2016‑01‑10 Sim(0.65)
Laurie Hendren (Info) McGill (Computer Science Tree) Computer Science pq 2016‑03‑24 Sim(0.65)
Andreas Kuehlmann (Info) UC Berkeley (E-Tree) Design, Modeling and Analysis (DMA) david 2016‑01‑10 Sim(0.65)
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.65)
Andrew P. Sage (Info) George Mason (Computer Science Tree) Computer Science pq 2016‑03‑23 Sim(0.65)
Venkat Venkatasubramanian (Info) Columbia (Computer Science Tree) Systemic Risk Management in Complex Systems, Informatics for Materials Design and Discovery, and Self-organization and Emergence in Complex Dynamical Systems david 2016‑01‑10 Sim(0.65)
Mitchell A. Thornton (Info) SMU (E-Tree) Computer Science, Electronics and Electrical Engineering pq 2016‑03‑12 Sim(0.65)
Neil F. Stewart (Info) Université de Montréal (Computer Science Tree) Computer Science, Operations Research pq 2016‑05‑19 Sim(0.65)
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.65)
Benjamin Livshits (Info) Stanford (Computer Science Tree) pq 2016‑01‑10 Sim(0.65)
Benjamin Livshits (Info) Stanford (Computer Science Tree) pq 2016‑01‑10 Sim(0.65)
Sign in to add a new person