Shaowei Zhu will present his General Exam “A compositional and monotone approach to conditional termination of programs” on May 15, 2020 at 3:30pm via Zoom.
The members of his committee are as follows: Zachary Kincaid (adviser), Aarti Gupta, and Andrew Appel
Abstract and Reading List:
Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so.