Research focus
About the research
How can programming languages and program analysis make software more reliable and secure?
Read the full research overview
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.
Selected publications
Publication highlights haven’t been added. Explore the official research profile ↗
People & alumni
Team details haven’t been added. See the lab’s website for its current members.
Alumni details haven’t been added. Check the lab’s official website.
Sources & listing information
Find Research Labs maintains this page using public sources. The faculty member, lab, and university have not claimed or approved this listing. Listing a lab does not indicate endorsement, partnership, or a recruiting opportunity.
Request a correction or removal ↗ · About directory listings