This page is part of an archival collection and is no longer actively maintained.

It may contain outdated information and may not meet current or future WCAG accessibility standards. We provide this content, its subpages, and associated links for historical reference only. If you need assistance, please contact support@cs.washington.edu

UNSAT: Prospective students

Prospective students

If you are currently an undergraduate/master’s student at UW and would like to hack with us, the best way to get started is to take one or more of the courses we teach, such as CSE 451, CSE 481A, or CSE 507. These courses are known to be challenging and time-consuming, but they will give you a good sense of the kind of research we do. Students typically join an existing project in our group. Your research work may grow into a senior thesis or a master’s thesis.

If you are interested in pursuing a Ph.D. with us, please see the CSE Ph.D. program page for the application process. The UNSAT projects and papers pages should give you a rough idea of what we are looking for. You are more likely to enjoy working in our group if you are driven by intellectual curiosity, love building tools and systems that can be used by others, and want to make a real-world impact on practical systems.