Iris Project
About | Robbert Krebbers
I sometimes write up my notes because it makes me think a bit more carefully and helps me remember. If you have any comments, questions, or ideas, don't hesitate to send me an email :)
Hi, I am Jules Jacobs . I am a postdoc at Cornell University with Alexandra Silva and Nate Foster . Previously, I was in the PhD program at Radboud University, working on formal verification and programming languages under Robbert Krebbers and Stephanie Balzer .
Some of my favourite things are: type theory , parametricity , SSA as a data flow lattice , generating functions & Kirchoff's matrix-tree theorem , differential forms & the Gauss-Bonnet theorem , star semirings , Lagrangian mechanics .
Iris Project
About | Robbert Krebbers