We research programming languages, software engineering, and related work in human-computer interaction.

Our 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.