Xi Wang

Associate Professor (photo)
UNSAT, Systems, and PLSE research groups
Paul G. Allen School of Computer Science & Engineering

Allen Center 580

My research interests are in computer systems, from operating systems to analysis and verification tools. The projects page for the UNSAT group describes current projects.




How to pronounce my name: Xi (ɕi) Wang (wɑŋ). Pretend it’s “hsi wong” and you’ll get close enough.

I received my Ph.D. (2014) from MIT, under the guidance of Frans Kaashoek and Nickolai Zeldovich. Before that, I spent two years hanging out in the Systems Research Group at Microsoft Research Asia. I got my B.E. and M.E. from Tsinghua University, under the guidance of Xiaoge Wang—see her work on the detection of gravitational waves!