About the research
How can automatic program synthesis and verification make software safer and easier to build?
Read the full research overview
Dillig's research develops program synthesis algorithms that generate code from specifications and examples to automate routine programming tasks. The group builds program verification and automated logical reasoning techniques to prove absence of classes of errors and security vulnerabilities. Researchers design domain-specific languages and type systems and apply automated theorem proving to scale verification and synthesis tools. The lab pursues interdisciplinary projects linking program analysis with AI, databases, security, and systems.
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