Bill Zorn

Computer Science PhD Student
University of Washington
billzorn at cs dot washington dot edu


I'm a fifth year PhD student at the University of Washington, advised by Dan Grossman and Zach Tatlock. I work mostly in the PLSE group, though I often collaborate with Sampa folks. I'm interested in computer number systems, particularly in building tools to help explore new ones and make sure existing ones are used efficiently and correctly, as the diversity of systems expands from IEEE 754 floating-point to posits and beyond.

Current Research Projects

Publications