I am interested in programming language semantics, with a special attention to relational techniques for higher-order programming languages. 

You can find more info on my research activity in my blog fixed points and coffee