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 that uses Physical Unclonable Functions (PUFs) to generate secret keys from chip fabrication variations.

Currently, my research group is working on trusted virtual computation and secure virtual storage as part of the Quanta T-Party project at MIT, on novel on-chip networks and routing algorithms, and have begun building EM², an Execution Migration Machine. EM² uses deadlock-free computation migration to provide a shared memory abstraction without requiring directories and uses an intelligent predictor to determine when to migrate computation versus data.

I am also involved in the Angstrom project. Angstrom is a proposed 1000-core self-aware processor.

Curriculum Vitae

Selected Publications

Teaching

Introduction to Computer Science and Programming (6.00), Spring 2012.

Computer and Network Security (6.857), Spring 2010.

Elements of Software Construction (6.005), Spring 2009, Fall 2010, Spring 2011.

Design and Analysis of Algorithms (the new 6.046), Fall 2008.

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

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, Fall 2009.

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

Computation Structures (6.004), Spring 2004, Fall 2006. Teaching material from Fall 1996/Spring 1998 terms.

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.