Welcome!

This side is currently under construction.

About Me

Hi! I am a CS bachelors student at ETH Zürich. I'm interested in formal methods, functional programming and systems code.

me

Projects

Here are some of the projects I'm working on in my freetime:

Contact

Mail: jpolzin [ät] ethz.ch