Jules Jacobsjulesjacobs@gmail.com 
Some of my favourite things are: type theory, parametricity, SSA as a dataflow lattice, generating functions & Kirchoff's matrixtree theorem, differential forms & the GaussBonnet theorem, star semirings, Lagrangian mechanics.
19 Jan 2022 
Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic
POPL'22

12 Oct 2021 
Mechanized Deadlock Freedom for Session Types
FCG, University of Groningen

19 July 2021 
Pardoxes of Probabilistic Programming
(and deleted scenes)
VeriProP'21

12 July 2021 
Mechanized Deadlock Fredom for Session Types
VEST'21

3 Feb 2021 
Deadlock Freedom for Session Types Using Separation Logic
SWS Seminar

22 Jan 2021 
Paradoxes of Probabilistic Programming
POPL'21

25 Nov. 2020 
Paradoxes of Probabilistic Programming
PL Seminar, TU Delft

23 Nov. 2020 
Paradoxes of Probabilistic Programming
PPLV, University College London

28 Oct. 2020 
Paradoxes of Probabilistic Programming
SWS Seminar, Radboud University

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  PLDI'22 AEC 
2022  ESOP'22 AEC 
2021  VCA for Behavioural Types: Bridging Theory and Practice 
2020  Reviewer for ESOP'21. 
2020  Reviewer for ICFP'20. 