Ju Gonçalves

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