Helgi Sigurbjarnarson

mail_outlineedu/washington/cs/at/helgi

I am a fifth year Ph.D. student in the UNSAT group and the Systems Lab at the Paul G. Allen School of Computer Science & Engireening at UW, advised by Xi Wang.

Current projects include Nickel, Hyperkernel and Yggdrasil.

Publications

Talks