Copyright © Massachusetts Institute of Technology 2001Comments and questions to deacon@mit.edu
Srinivas Devadas
Professor, Electrical Engineering and Computer Science
Professional Society Membership:
| ACM Member | IEEE Fellow |
Honors & Awards (most recent only):
| Award | Date |
| 1990 IEEE Transcations on Computer-Aided Design, Best Paper Award | 1990 |
| International Conference on Computer-Aided Design Distinguished Paper Citation | 1991 |
| National Science Foundation Young Investigator Award | 1992 |
| International Conference on Computer Design Best Paper Award, CAD Track | 1992 |
| IEEE Transactions on VLSI Systems, Best Paper Award | 1996 |
| 35th Design Automation Conference Best Paper Award, Design Methods Category | 1998 |
| Fellow of the IEEE | 1998 |
Department & Institute Committees (most recent only):
| Activity | Beginning | Ending |
| VI-A Representative, Schlumberger ATE | February 1991 | February 1997 |
| Graduate Counselor (Dept.) | September 1992 | present |
| Graduate Admissions (Dept.) | December 1993 | July 1994 |
| Graduate Admissions (Dept.) | December 1995 | present |
| VI-A Representative, Teradyne | February 1997 | February 1998 |
| VI-A Representative, Synopsys | March 1998 | present |
Professional Service (most recent only):
| Activity/Organization | Date/Position |
| Associate Editor, ACM Transactions on Design Automation of Electronic Systems | 1997-1999 |
| Editorial Board, Design Automation of Embedded Systems: an International Journal | 1996-present |
| Editorial Board, Formal Methods in VLSI Design: and International Journal | 1992-present |
| Technical Program Committee Chair, VLSI '99 | 1999 |
| Technical Program Committee, CASES 2000 | 2000 |
| Technical Program Committee, Design Automation Conference | 2000 |
| Technical Program Committee, 20th Anniversary Conference on Advanced Research in VLSI | 1999 |
Professional Development (last 5 years):
| Term | Subject | Title | Role |
| ST 97 | 6.373 | Computer-Aided Design of Integrated Circuits | Lectures |
| FT 97 | 6.371 | Introduction to VLSI Systems | Lectures |
| ST 98 | 6.004 | Computation Structures | Lectures |
| FT 98 | 6.042J | Mathematics for Computer Science | Lectures |
| ST 99 | 6.373 | Computer-Aided Design of Integrated Circuits | Lectures |
| FT 00 | 6.042J | Mathematics for Computer Science | Lectures |
Copyright © Massachusetts Institute of Technology 2001
Comments and questions to
deacon@mit.edu