CSAIL Researchers

Howie Shrobe
Director Cyber@Csail

Howard Shrobe is a Principal Research Scientist at MIT Computer Science and Artificial Intelligence Laboratory (CSAIL). He is a former Associate Director of CSAIL and is the Director of CSAIL’s Security@CSAIL initiative. Dr. Shrobe has served twice as a program manager at DARPA: from 1994 - 1997 he served as Chief Scientist of the Information Technology Office and led the Information Security Initiative; from 2010 - 2013 he served as a program manager in TCTO and then I2O, leading the CRASH and MRC programs. He received his MS (1975) and PhD (1978) from MIT’s Artificial Intelligence Laboratory

Adam Chilpala

Adam Chlipala finished his BS in computer science at Carnegie Mellon in 2003 and his PhD in computer science at UC Berkeley in 2007. Before starting at MIT, he was a postdoctoral fellow at Harvard. His research focuses on applications of formal logic to software development and analysis. One specialty area is building machine-checked mathematical proofs of correctness for programming tools like compilers and runtime systems, and he has a general interest in the pragmatics of machine-checked mathematics. He also works in the design and implementation of functional programming languages, as in the example of his new domain-specific programming language Ur/Web, which brings strong mathematical guarantees to the world of Web applications.

David Clark

Since the mid 70s, Dr. Clark has been leading the development of the Internet; from 1981-1989 he acted as Chief Protocol Architect in this development. His current research looks at re-definition of the architectural underpinnings of the Internet, and the relation of technology and architecture to economic, societal and policy considerations. He is past chairman of the Computer Science and Telecommunications Board of the National Academies, and has contributed to a number of studies on the societal and policy impact of computer communications, as well as cyber-security. He is recognized for his long history of research on cyber-security, both technology and policy. He is an adviser to the U.S. Federal Communications Commission and the National Science Foundation, and contributes both domestically and internationally to the advancement of cyber policy.

Srini Devadas

Srini Devadas is the Webster Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT). He received his MS and PhD from the University of California, Berkeley in 1986 and 1988, respectively. He joined MIT in 1988 and served as Associate Head of the Department of Electrical Engineering and Computer Science, with responsibility for Computer Science, from 2005 to 2011. Devadas’s research interests span Computer-Aided Design (CAD), computer security and computer architecture. In CAD, his work on logic synthesis and power estimation resulted in several best paper awards at the Design Automation Conference and in IEEE Transactions. Devadas was elected a Fellow of the IEEE in 1999 for contributions to design automation. He received the IEEE Computer Society Technical Achievement Award in 2014 for inventing Physical Unclonable Functions and single-chip secure processor architectures. Devadas’s work on hardware information flow tracking published in the 2004 ASPLOS received the ASPLOS Most Influential Paper Award in 2014.

Shafi Goldwasser

Goldwasser's research spans many areas of cryptography. Her recent works focuses on new cryptographic primitives which can be used to manipulate encrypted data in the cloud, methods for secure multi-party protocols which can scale up with an increased number of participants, and Leakage-resilient cryptography: the design of cryptosystem that are secure even if an adversary can learn partial information on cryptographic keys and private inputs.

Daniel Jackson

Daniel Jackson is a professor in the Department of Electrical Engineering and Computer Science, and leads the Software Design Group in the Computer Science and Artificial Intelligence Laboratory. He received an MA from Oxford University (1984) in Physics, and his SM (1988) and PhD (1992) from MIT in Computer Science. He was a software engineer for Logica UK Ltd. (1984-1986), Assistant Professor of Computer Science at Carnegie Mellon University (1992-1997), and has been at MIT since 1997.He has broad interests in software engineering, especially in development methods, design and specification, formal methods, and safety critical systems

Frans Kaashoek

M. Frans Kaashoek is a professor in MIT’s EECS Department and a member of the Computer Science and Artificial Intelligence Laboratory. He received his PhD from the Vrije Universiteit (Amsterdam, The Netherlands) for his work on group communication in the Amoeba distributed operating system. His principal field of interest is designing and building computer systems. Some of the current projects that he is working on with students include exokernels, an extensible operating system architecture, and SFS, a secure, decentralized global file system.

Martin Rinard

Martin received the Sc.B. in Computer Science, Magna cum Laude and with Honors, from Brown University in 1984. He spent the next several years working for two startup companies, Ikan Systems and Polygen Corporation. Then he entered the Ph.D. program in Computer Science at Stanford University, and received the Ph.D. in Computer Science from Stanford University in 1994. I Professor Rinard joined the Computer Science Department at the University of California, Santa Barbara as an Assistant Professor in 1994, then moved to MIT as an Assistant Professor in 1997. He was promoted to Associate Professor in 2000 and Professor in 2006.

Armando Solar-Lezama

Armando Solar-Lezama is an associate professor where he leads the Computer Aided Programming Group. His research interests include software synthesis and its applications, as well as high-performance computing, information flow security and probabilistic programming. He has a PhD. from UC Berkeley

Vinod Vaikuntanathan

Vinod Vaikuntanathan is a Steven and Renee Finn Career Development Assistant Professor of Computer Science at MIT. His main research interest is in the theory and practice of cryptography. He works on lattice-based cryptography, building advanced cryptographic primitives using integer lattices; leakage-resilient cryptography, defining and developing algorithms resilient against adversarial information leakage; and more recently, the theory and practice of computing on encrypted data, constructing powerful cryptographic objects such as fully homomorphic encryption and functional encryption. Vinod obtained his Ph.D. from MIT where he received a 2009 George M. Sprowls Award for the best MIT Ph.D. thesis in Computer Science. He is also a recipient of the 2008 IBM Josef Raviv Postdoctoral Fellowship, the 2013 Alfred P. Sloan Research Fellowship, the 2014 Microsoft Faculty Fellowship, and a 2014 NSF CAREER award.

Daniel Weitzner

Daniel Weitzner is the Director of the MIT CSAIL Decentralized Information Group and teaches Internet public policy in MIT’s Computer Science Department. His research includes development of accountable systems architectures to enable the Web to be more responsive to policy requirements. From 20011-2012, Weitzner was the United States Deputy Chief Technology Officer for Internet Policy in the White House. He led initiatives on privacy, cybersecurity, Internet copyright, and trade policies promoting the free flow of information,. He was responsible for the Obama Administration’s Consumer Privacy Bill of Rights and the OECD Internet Policymaking Principles.Weitzner has been a leader in the development of Internet public policy from its inception, making fundamental contributions to the successful fight for strong online free expression protection in the United States Supreme Court, and for laws that control government surveillance of email and web browsing data. Weitzner is a founder of the Center for Democracy and Technology, led the World Wide Wed Consortium’s public policy activities, and was Deputy Policy Director of the Electronic Frontier Foundation. In 2012 he was named to the Newsweek/Daily Beast Digital Power Index as a top ‘Navigator’ of global Internet public policy and in 2013 he received the International Association of Privacy Professional’s Leadership Award.

Nickolai Zeldovich

Nickolai Zeldovich is an Associate Professor at MIT’s department of Electrical Engineering and Computer Science, and a member of the Computer Science and Artificial Intelligence Laboratory. His research interests are in building practical secure systems, from operating systems and hardware to programming languages and security analysis tools. He received his PhD from Stanford University in 2008, where he developed HiStar, an operating system designed to minimize the amount of trusted code by controlling information flow. In 2005, he co-founded MokaFive, a company focused on improving desktop management and mobility using x86 virtualization. Prof. Zeldovich received a Sloan fellowship in 2010, and an NSF CAREER award in 2011.