Jeff Foster Research Group

Tufts University

How can programming languages and program analysis make software more reliable and secure? The group develops new ways to build more reliable, secure software using programming languages, software engineering, and security research. Researchers work on program analysis, verification, and synthesis methods such as static and dynamic typing, symbolic execution, and framework synthesis to improve program understanding and tooling. Projects include types and contracts for dynamic languages (e.g., RDL) and interaction-based security for mobile apps to detect and prevent vulnerabilities. The group mentors PhD and postdoctoral researchers in building language-based tools and evaluations for real-world software.