Roskilde University IMT, Building 08.2-053 Universitetsvej 1 DK-4000 Roskilde, Denmark
proudly generated by HakyllPhD 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).