About
I am a software developer interested in:
- software correctness (formal verification and automated testing)
- tooling for software development (compiler and IDE development)
- distributed systems and concurrency
You can find/contact me via:
- Email: peterāļ¸zllr.dev
- Twitter: peterzllr
- Github: peterzeller for serious and peq for silly stuff
- Stackoverflow: 303637
- LinkedIn: peterzel