I am a software engineer, working in programming language implementation, software verification and automated reasoning. I am also interested in economics (macro mostly, and some behavioural) and investing.