☰
Similar researchers to Sotiene Tahar: Advanced Search
Name Institution Area Added by Date  
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
Alberto L. Sangiovanni-Vincentelli (Info) UC Berkeley (E-Tree) Design, Modeling and Analysis (DMA), Embedded System Design; Design methodologies and tools; Control, Intelligent Systems, and Robotics (CIR), Hybrid systems; Design methodologies and tools; Communications & Networking (COMNET), Wireless sensor network de david 2016‑01‑10
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
C. R. Ramakrishnan (Info) SUNY Stony Brook (Computer Science Tree) Logic Programming, Programming Languages, Verification. david 2016‑01‑11
Indranil Roychoudhury (Info) Vanderbilt (MathTree) Computer Science pq 2016‑03‑02
Manish Vachharajani (Info) Princeton (E-Tree) Computing & Networking,High-Performance Computing,Integrated Electronic Systems,Security pq 2016‑01‑13
Tevfik Bultan (Info) UC Santa Barbara (Computer Science Tree) david 2016‑01‑14
Mukul R. Prasad (Info) UC Berkeley (E-Tree) Design, Modeling and Analysis (DMA); Advanced methods in combinational and sequential logic synthesis and formal verification pq 2016‑01‑11
Sundar Krishnamurty (Info) U Mass Amherst (E-Tree) Mechanical Engineering pq 2016‑02‑29
Divjyot Sethi (Info) Princeton (E-Tree) Computing & Networking,High-Performance Computing,Integrated Electronic Systems,Security pq 2016‑01‑13
Mitchell A. Thornton (Info) SMU (E-Tree) Computer Science, Electronics and Electrical Engineering pq 2016‑03‑12
Panagiotis Manolios (Info) Georgia Tech (Computer Science Tree) Electronics and Electrical Engineering, Computer Science pq 2016‑03‑23
Shobha Vasudevan (Info) UT Austin (E-Tree) Electronics and Electrical Engineering, Computer Science pq 2016‑04‑09
Daniel Gajski (Info) UC Irvine (Computer Science Tree) Computer Science pq 2016‑03‑23
Deepak A. Mathaikutty (Info) Virginia Tech (E-Tree) Computer Engineering pq 2016‑03‑15
Shuvra S. Bhattacharyya (Info) University of Maryland (E-Tree) david 2015‑12‑21
Kameshwar Poolla (Info) UC Berkeley (E-Tree) Control, Intelligent Systems, and Robotics (CIR), System identification; Design, Modeling and Analysis (DMA), Design for Manufacturability; Physical Electronics (PHY), Semiconductor Manufacturing david 2016‑01‑10
Andreas Kuehlmann (Info) UC Berkeley (E-Tree) Design, Modeling and Analysis (DMA) david 2016‑01‑10
Hassan Diab (Info) Université de Sherbrooke (Computer Science Tree) Computer Science pq 2016‑03‑25
George J. Cokkinides (Info) University of South Carolina (E-Tree) Electronics and Electrical Engineering, System Science Engineering pq 2016‑05‑15
Alexandra Boldyreva (Info) UCSD (E-Tree) Computer Science pq 2016‑03‑23
Nenad Medvidovic (Info) USC (Philosophy Tree) Computer Science, Electronics and Electrical Engineering pq 2016‑03‑18
Leon F. McGinnis (Info) Georgia Tech (E-Tree) Industrial Engineering pq 2016‑04‑18
Lawrence T. Pileggi (Info) Carnegie Mellon (Physics Tree) Electronics and Electrical Engineering, Electricity and Magnetism Physics, Condensed Matter Physics pq 2016‑05‑22
Ratna B. Chinnam (Info) Wayne State (E-Tree) Industrial Engineering, Analytics, Data Science pq 2016‑02‑19
Chika Nwankpa (Info) Drexel (E-Tree) Electronics and Electrical Engineering, Energy, General Engineering pq 2016‑05‑02
Gul Agha (Info) UIUC (Robotree) Computer Science, Robotics Engineering pq 2016‑02‑05
Daniel P. Siewiorek (Info) Carnegie Mellon (Computer Science Tree) Electronics and Electrical Engineering, Computer Science pq 2016‑03‑24
Dima Nazzal (Info) Georgia Tech (E-Tree) Industrial Engineering pq 2016‑04‑19
Amir Pnueli (Info) Weizmann Institute (Computer Science Tree) Mathematics, Computer Science pq 2016‑03‑24
Forrest Brewer (Info) UC Santa Barbara (E-Tree) Computer Engineering david 2016‑01‑14
Bryan Brady (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) pq 2016‑01‑11
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
Azadeh Davoodi (Info) University of Maryland (E-Tree) pq 2015‑12‑22
Moshe Y. Vardi (Info) Rice University (MathTree) Computer Science, Computer Engineering, Applied Mathematics pq 2016‑04‑05
Shawn E. Gano (Info) Notre Dame (Biomechanics Tree) Aerospace Engineering, Mechanical Engineering pq 2016‑01‑28
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
Joanne B. Dugan (Info) UVA (Computer Science Tree) Electronics and Electrical Engineering, Computer Science pq 2016‑03‑23
Luigi Vanfretti (Info) RPI (E-Tree) Electronics and Electrical Engineering pq 2016‑05‑02
Frederick C. Harris (Info) University of Nevada, Reno (BME Tree) Biomedical Engineering, Computer Engineering, Neuroscience Biology pq 2016‑02‑05
Prakash Krishnaswami (Info) Kansas State University (E-Tree) Electronics and Electrical Engineering, Mechanical Engineering pq 2016‑03‑07
Arkadeb Ghosal (Info) UC Berkeley (E-Tree) Design, Modeling and Analysis (DMA), Embedded System Design; Design methodologies and tools; Control, Intelligent Systems, and Robotics (CIR), Hybrid systems; Design methodologies and tools; Communications & Networking (COMNET), Wireless sensor network de pq 2016‑01‑11
Gabor Karsai (Info) Vanderbilt (Computer Science Tree) Electronics and Electrical Engineering, Computer Science pq 2016‑03‑29
Chao-Yang Gau (Info) Notre Dame (Philosophy Tree) Chemical Engineering, Computer Science, Operations Research pq 2016‑02‑10
Ravishankar K. Iyer (Info) UIUC (Computer Science Tree) Computer Science pq 2016‑03‑28
George Vachtsevanos (Info) Georgia Tech (Robotree) Robotics Engineering, Electronics and Electrical Engineering, Aerospace Engineering pq 2016‑02‑09
Sol M. Shatz (Info) University of Illinois, Chicago (Computer Science Tree) Computer Science pq 2016‑03‑24
Ali Mili (Info) West Virginia University (Computer Science Tree) Computer Science pq 2016‑03‑23
Mladen Kezunovic (Info) Texas A & M (Computer Science Tree) Electronics and Electrical Engineering, Computer Science pq 2016‑03‑26
Roni Khazaka (Info) Carleton University (Computer Science Tree) Electronics and Electrical Engineering pq 2016‑03‑25
Sign in to add a new person