Academic

I am currently a PhD student with Ohad Kammar as part of LFCS at the University of Edinburgh.

My primary interests are in dependent types and metaprogramming.