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 July 2021 
Pardoxes of Probabilistic Programming (and deleted scenes)
VeriProP'21
slides

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

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

22 Jan 2021 
Paradoxes of Probabilistic Programming
POPL'21
slides

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

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

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

2020  Assisting Robbert Krebbers with the supervision of a master thesis project. 
2020  Assisted Robbert Krebbers with the Software Verification course at TU Delft. 
2020  Reviewer for ESOP'21. 
2020  Reviewer for ICFP'20. 