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.
POPL'21 
Paradoxes of Probabilistic Programming And How to Condition on Events of Measure Zero with Infinitesimal Probabilities 
Sep. 2020  A Magic Determinant Formula for Symmetric Polynomials of Eigenvalues 
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

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. 