Anupam Datta is an Assistant Research Professor at Carnegie Mellon University where he has appointments in CyLab, Electrical & Computer Engineering, and (by courtesy) Computer Science Departments. He is currently based in the Carnegie Mellon Silicon Valley Campus. His research focuses on the scientific foundations of security and privacy. Dr. Datta has authored a book, over 40 publications, and presented numerous seminars on programming language, logical, and algorithmic methods for privacy, software system security, and cryptographic protocol analysis and design. He serves on the Steering Committee of the IEEE Computer Security Foundations Symposium, and has served as Program and General Chair of several meetings on security foundations and on the program committees of top security and privacy conferences. He participates in the NSF TRUST center on security and the HHS SHARPS center on healthcare security and privacy. Dr. Datta obtained Ph.D. and MS degrees from Stanford University and a BTech from IIT Kharagpur, all in Computer Science. For more on Anupam, click here.
Limin Jia is a Research Systems Scientist at CyLab at Carnegie Mellon University. She received her Ph.D. in Computer Science from Princeton University. Her research interestes include programming languages, language-based security, logic, and program verification. At CyLab, Limin's research focuses on formal aspects of security. She is particularly interested in applying language-based security techniques as well as formal logic to model and verify security properties of software systems. For more on Limin, click here.
Jeanette Wing is the President's Professor of Computer Science and Head of the Computer Science Department at Carnegie Mellon University. She received her S.B., S.M., and Ph.D. degrees from the Massachusetts Institute of Technology. From 2007-2010 she was the Assistant Director of the Computer and Information Science and Engineering Directorate at the National Science Foundation. Professor Wing's general research interests are in the areas of trustworthy computing, specification and verification, concurrent and distributed systems, programing languages, and software engineering. Her current interests are on the foundations of trustworthy computing, with a focus on the science of security and privacy. Professor Wing was or is on the editorial board of twelve journals. She has served on numerous national and international government and industry advisory boards and committees. She is a Fellow of the American Academy of Arts and Sciences, American Association for the Advancement of Science, the Association for Computing Machinery (ACM), and the Institute of Electrical and Electronic Engineers (IEEE).
Current Projects: