You are here


hes's picture

Howard Shrobe

Director of CyberSecurity@CSAIL
Principal Research Scientist 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 Chlipala's picture

Adam Chlipala

Assistant Professor

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's picture

David Clark

Senior Research Scientist

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 advisor 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's picture

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's picture

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's picture

Daniel Jackson

Associate Director, CSAIL

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's picture

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.

Lalana Kagal's picture

Lalana Kagal

Principal Research Scientist

Lalana is a Principal Research Scientist at MIT CSAIL and the Deputy Director of the Decentralized Information Group (DIG). She is also a Web Science Research Institute Research Fellow and a member of the editorial board of the Journal of Web Semantics. Her research focuses on modeling how social norms and legal rules work in society in order to automate the compliance of policy in information systems. She is currently exploring various facets of information management and policy, such as the development of new paradigms for exploring and integrating distributed data, privacy aware querying of Big (Linked) Data, and frameworks for mobile apps for disaster management

una-may_o'reilly's picture

Una-May O'Reilly

Principal Research Scientist

Una-May is leader of the AnyScale Learning For All (ALFA) group at CSAIL. ALFA focuses on scalable machine learning, evolutionary algorithms, and frameworks for large scale knowledge mining, prediction and analytics.  The group has projects in clinical medicine knowledge discovery: arterial blood pressure forecasting and pattern recognition, diuretics in the ICU; wind energy: turbine layout optimization, resource prediction, cable layout; and MOOC Technology: MoocDB, student persistence and resource usage analysis.

Martin Rinard's picture

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.

Ron Rivest's picture

Ron Rivest


Professor Rivest is the Vannevar Bush Professor of Electrical Engineering and Computer Science in MIT’s Department of Electrical Engineering and Computer Science, and a leader of the Cryptography and Information Security research group within MIT’s Computer Science and Artificial Intelligence Laboratory. He received a B.A. in Mathematics from Yale University in1969, and a Ph.D. in Computer Science from Stanford University in 1974. He is a Fellow of the Association for Computing Machinery and of the American Academy of Arts and Sciences, and is also a member of the National Academy of Engineering.Professor Rivest is an inventor of the RSA public-key cryptosystem, and a founder of RSA Data Security. He has extensive experience in cryptographic design and cryptanalysis, and has published numerous papers in these areas. He has served a Director of the International Association for Cryptologic Research, the organizing body for the Eurocrypt and Crypto conferences, and of the Financial Cryptography Association. He has also worked extensively in the areas of computer algorithms, machine learning, and VLSI design.

Armando Solar-Lezama's picture

Armando Solar-Lezama

Assistant Professor

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's picture

Vinod Vaikuntanathan

Assistant Professor

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's picture

Daniel Weitzner

Principal Research Scientist

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's picture

Nickolai Zeldovich

Associate Professor

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.