Principal Investigator Saman Amarasinghe
Co-investigators Michael Carbin , Adam Chlipala , Daniel Jackson , Robert Miller
Project Website http://www.csail.mit.edu/research/programming-languages-and-software-engineering
Programming Languages and Software Engineering does research on programming languages, software engineering, and related work in human-computer interaction. Work focuses on programming languages, software engineering, and human-computer interaction. Some of our projects have centered on creating dynamic techniques for secure Java programs, static analysis for secure Android applications, and security and resilience for cloud computing systems.