## Jules Jacobsjulesjacobs@gmail.com |

I'm a PhD student of Robbert Krebbers at Radboud University studying formal verification and programming languages, and working on deadlock freedom in collaboration with Stephanie Balzer.

Some of my favourite things are: type theory, parametricity, SSA as a dataflow lattice, generating functions & Kirchoff's matrix-tree theorem, differential forms & the Gauss-Bonnet theorem, star semirings, Lagrangian mechanics.

2022 | Assisting with the Program Verification course at RU. |

2021 | Assisting with the Type Theory course at RU. |

2021 | Assisting with the MFOCS seminar at RU. |

2020 | Assisting with the Type Theory course at RU. |

2020 | Assisting Robbert Krebbers with the supervision of a master thesis project. |

2020 | Assisted Robbert Krebbers with the Software Verification course at TU Delft. |

2022 | Reviewing for POPL'23 |

2022 | Reviewing for CSL |

2022 | Reviewing LMCS |

2022 | Reviewing OOPSLA |

2022 | PLDI'22 AEC |

2022 | ESOP'22 AEC |

2021 | VCA for Behavioural Types: Bridging Theory and Practice |

2020 | Reviewing for ESOP'21. |

2020 | Reviewing for ICFP'20. |