Srini Devadas MIT Room 32G-844 32 Vassar Street Cambridge, MA 02139 U.S.A. devadas@mit.edu

I am a Professor of Electrical Engineering and Computer Science at MIT in the Computer Science and Artificial Intelligence Laboratory (CSAIL). I belong to the Computation Structures Group.

My research interests include VLSI design, computer-aided design, computer architecture, hardware validation, network router hardware, computer security, and computational biology. One recent project I was involved with was building Aegis, a secure hardware processor. Currently, my research group is working on trusted virtual computation and secure virtual storage as part of the Quanta T-Party project at MIT, and on private information retrieval. My students and I are also working on protein structure prediction methods and network analysis methods for chemical reaction networks.

Curriculum Vitae

Selected Publications

Teaching

Introduction to Algorithms (6.006), Fall 2007, Spring 2008.

Introduction to Algorithms (6.046), Spring 2007.

Laboratory in Software Engineering (6.170), Fall 2001, Spring 2002, Fall 2003, Fall 2005.

The graduate Computer Architecture (6.823) class, Spring 2002.

Mathematics for Computer Science (6.042), Fall 1998, Fall 2000, Spring 2003, Spring 2005.

Teaching material from Computation Structures (6.004), Fall 1996, Spring 1998.

Computation Structures (6.004), Spring 2004, Fall 2006.

Recitation sections in 6.001, Fall 2004.

Teaching material from Computer-Aided Design of Integrated Circuits (6.373) from Spring 1989, Spring 1991-3-5-7, Spring 1999.

Introduction to VLSI Systems (6.371), Fall 1989, Spring 1990, Fall 1991, Fall 1994-5, Fall 1997.

Formal Verification in VLSI Design (6.892), Fall 1992.

Recitation sections in 6.002, Fall 1988.