Neutrons Project graphic
Video Type: 
Display Date: 
Winter 2016

UW CSE professors Zach Tatlock and Emina Torlak discuss their research in software verification to ensure that programs for the operation of safety-critical systems do not contain potentially life-threatening errors. With the Neutrons Project, our researchers are making the control software for radiotherapy devices safer and more reliable by preventing errors that could lead to an overdose of patients undergoing cancer treatment. Their ongoing research has the potential to improve a variety of safety-critical systems across the country.

Video Label 1: 
Video Label 2: 
Captioned MP4
Video Label 3: 
Creation Date: 
Fri, 03/04/2016