Xi Wang

Allen Center 560
kqueue.org
Assistant Professor [ photo ]

My research interests are in building secure and reliable systems. Recent projects focus on improving systems software through bug finding and formal verification.

Classes

Students

Publications

2015 and earlier

Service

Personal