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. Zoom link: [ https://princeton.zoom.us/j/715408179 | https://princeton.zoom.us/j/715408179 ] The members of his committee are as follows: Andrew Appel (adviser), David Walker, and David August Link to Abstract and Reading List: [ https://pl.cs.princeton.edu/generals/ckorkut.html | https://pl.cs.princeton.edu/generals/ckorkut.html ] Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so.