Stuart Pernsteiner

spernste@cs.washington.edu

I am a graduate student at the University of Washington, in the Programming Languages and Software Engineering group, advised by Zachary Tatlock.

I'm currently working on verifying the control software of the UW Medical Center's Clinical Neutron Therapy System.