Xi Wang

Allen Center 560
Assistant Professor [ photo ]

My research interests are in building secure and reliable systems. Recently, I'm involved in the SandCat project to explore software adaptation and formal verification. Past projects include the Stack undefined behavior checker and the Jitk verified in-kernel interpreter. See my recent papers on the publications page and my pre-UW papers here.

Classes

Students

Service

Personal