computer science student, pursuing a master's degree at EPFL. in love with compilers, theorem provers, and programming languages.
- I've worked on a couple of dumb utilities/applications when i was in high school.
- playing around with verification and formalization.

