UTD Jonsson School covered my Best Dissertation Award, highlighting my doctoral research on the neural modeling of reasoning about program behaviors.