Jules Jacobsjulesjacobs@gmail.com |
![]() |
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.
POPL'21 |
Paradoxes of Probabilistic Programming And How to Condition on Events of Measure Zero with Infinitesimal Probabilities |
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. |