Johanna Polzin - Personal Website

About Me

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

In my free time, i am promoting free and open source software at TheAlt, and tinker in our local electronics workshop Bastli.

Availability

I am currently not looking for a new project or thesis. However, if you are an exceptionally strong and motivated advisor with a proven background in Programming Languages and Verification, please feel free to reach out :)

Theses

Bachelor thesis - "Specifying and Verifying Page Tables in a Concurrent Operating System"

In my Bachelor thesis, I dived into state machine modeling and proof work in Verus, when I explored how to specify the memory subsystem from a user-centric perspective, focusing on the effects of concurrency introduced by hard and software.

Projects

This Summer, i had an amazing time visiting Peter's and Tobias' groups, where i spent my time banging my head against various codebases and LLVM Langref with the mission to find formal operational semantics for LLVM IR and especially formalizing a sensible memory model.

Contact

Mail: jpolzin [ät] ethz.ch