Blogs / Personal blogs

Jules Jacobs

julesjacobs.github.io

Assistant Professor at ETH Zürich. Programming languages and formal verification.

Popular posts
2
Total points
281
HN comments
74
Rank
#9,478 personal

Visit julesjacobs.github.io → On Hacker News Nov 2014 – Oct 2015

Software Engineering 1Math & Algorithms 1Databases & Data 1