Whoami
I'm Sam, a MSc theoretical computer science student at FI MUNI in Brno.
My main areas of interest are: programming language design, compiler development and static analysis/formal verification.
This blog is a place where I share notes, ideas, and things I learn along the way that I think others might find interesting.
All opinions presented here are my personal opinions and do not reflect the opinion of my employer.