PhD student under the supervision of Morten Rhiger, currently investigating Type and Effect Systems.
Member of the Programming, Logic and Intelligent Systems research group in the Department of Communication, Business and Information Technologies at Roskilde University.
Research Interests Type Theory and Program analysis.
Projects ICT-Energy. European Commission Framework 7 Coordination Action. (2013-2016).