The UNSAT group aims to develop foundational technologies for improving the correctness and performance of practical computer systems. Our research spans the areas of formal methods, programming languages, and operating systems. We build verification and synthesis tools and use these tools to build efficient, reliable, and secure systems. We are part of the Paul G. Allen School at the University of Washington. See our papers and projects for more details about our research.
If you are interested in joining our group, see the page for prospective students. We currently don’t have any positions for internships, visiting scholars, or postdocs.
News
Oak gave a talk on Rosette 4.0 at Racketfest.
Released Rosette 4.0: a new runtime and new language features!
See all posts.
People
Faculty
Graduate students
Alumni
- Bruno Castro-Karney, B.Sc., 2018 → Qumulo
- Dylan Johnson, M.Sc., 2017 → Arm
- Helgi Sigurbjarnarson, Ph.D., 2020 → Synthetic Minds
- James Bornholt, Ph.D., 2019 → UT Austin
- Terrance Li, Newport High School, 2019 → UC Berkeley
Contact
You may reach us via email at unsat@cs.
Sponsors
Thanks to NSF, DARPA, the Alfred P. Sloan Foundation, Amazon, Google, Intel, and VMware for supporting our work.