Ju Gonçalves

Roskilde University
IMT, Building 08.2-053
Universitetsvej 1
DK-4000 Roskilde, Denmark

proudly generated by Hakyll

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).