👋 Hey, I'm Alex! I love creating software that helps make day-to-day life easier, with many interests: Compilers Programming language design Formal verification Game development Graphics programming
