UT Computer Science Researchers Win TACAS Best Paper Award 04/28/2017 - UT Computer Science postdoctoral researcher Valentin Wustholz, Ph.D.