This side is currently under construction.
Hi! I am a CS bachelors student at ETH Zürich. I'm interested in formal methods, functional programming and systems code.
Here are some of the projects I'm working on in my freetime:
Mail: jpolzin [ät] ethz.ch