UW CSE Video: I Am CSE: Zachary Tatlock & Emina Torlak

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.