Billede af John Patrick Gallagher
  • Universitetsvej 1, 10.2

    DK-4000 Roskilde

    Danmark

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Personlig profil

Forskning

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

Forskning

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.

Forskning

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

Ekspertise relateret til FN’s Verdensmål

I 2015 blev FN-landende enige om 17 Verdensmål til at standse fattigdom, beskytte planeten og sikre velstand for alle. Denne persons arbejde bidrager til følgende verdensmål:

  • Verdensmål 9 - Industri, innovation og infrastruktur
  • Verdensmål 12 - Ansvarligt forbrug og produktion

Eksterne ansættelser

Research Professor, IMDEA Software Institute

1 jan. 2009 → …

Emneord

  • Datalogi, IT
  • Logikprogrammering
  • Program generation
  • Programanalyse
  • Programspecialisation

Publikationsnetværk

Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller