Joomy Korkut will present his General Exam "Ergonomics and verification of a foreign function interface between Coq and C" on May 14, 2020 at 10am via Zoom.
The members of his committee are as follows: Andrew Appel (adviser), David Walker, and David August
Link to 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.