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.