Amelia Dobis will present her General Exam "New Paradigms for Hardware Design, Compilation, and Verification" on April 24, 2026 at 1pm at 194 Nassau St, 2nd floor meeting area (Suite 21) and Zoom. Committee: Mae Milano (adviser), Aarti Gupta, Sneha Goenka Zoom: [ https://princeton.zoom.us/j/99419002211?pwd=hd5f2sSwZUt7yfU3bBTNOILyAKz6tE.1 | https://princeton.zoom.us/j/99419002211?pwd=hd5f2sSwZUt7yfU3bBTNOILyAKz6tE.1 ] Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so. [ https://docs.google.com/document/d/1TdYi6TAy0gCCj46ryReP9Ms9C-ila6dQ8dNhuCF8... | Abstract & Reading List: https://docs.google.com/document/d/1TdYi6TAy0gCCj46ryReP9Ms9C-ila6dQ8dNhuCF8... ]