• Universitetsvej 1, 10.2

    DK-4000 Roskilde


Personal profile


See http://www.ruc.dk/~jpg for more details and links to my research activities.


Research Interests: Program transformation and generation, program analysis, constraint logic programming, rewrite systems, temporal logics, semantics-based emulation of languages and systems, verification using abstraction, interactive installations.


I am also Research Professor (part time) at the IMDEA Software Institute, Madrid.

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 9 - Industry, Innovation, and Infrastructure
  • SDG 12 - Responsible Consumption and Production

External positions

Research Professor, IMDEA Software Institute

1 Jan 2009 → …


  • Computer science, IT
  • Logic programming
  • Program generations
  • Program analysis
  • Program specialisation
  • Interactive installations
  • Resource analysis of IT

Publication network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or