I’m a post-doctoral researcher in Computer Science, interested in dependently typed functional programming, type theory, multi-stage programming and resource bounded programming.