I'm a developer and student strongly interested in programming languages and formal methods. I program python by day and everything else by night.