Research output per year
Research output per year
BA & PhD
Universitetsvej 1, 10.2
DK-4000 Roskilde
Denmark
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.
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):
Research Professor, IMDEA Software Institute
1 Jan 2009 → …
Research output: Contribution to journal › Journal article › Research › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Research output: Contribution to journal › Journal article › Research › peer-review
Research output: Contribution to journal › Conference article › Research › peer-review
Gallagher, J. P. (Project participant), Kirkeby, M. H. (Project participant), Rosendahl, M. (Project participant) & Rhiger, M. (Project participant)
01/02/2020 → 30/09/2020
Project: Research
Jensen, S. S. (Project coordinator), Laursen, B. (Project manager), Gallagher, J. P. (Project participant), Andreasen, T. (Project participant) & Christiansen, H. (Project participant)
15/08/2014 → 01/02/2017
Project: Research
Gallagher, J. P. (Project participant), Rosendahl, M. (Project participant) & Bohr, N. (Project participant)
01/10/2013 → 30/09/2016
Project: Research
Gallagher, J. P. (Project participant), Rosendahl, M. (Project participant), Rhiger, M. (Project participant), Strand, D. L. (Project manager) & Bohr, N. (Project participant)
01/10/2012 → 30/09/2015
Project: Research
Gallagher, J. P. (Project participant), Jørgensen, N. (Project participant) & Jacquemin, C. (Project participant)
01/04/2011 → 31/03/2012
Project: Research
Gallagher, J. P. (Editor)
Activity: Editorial work and peer review › Editor of Research journal › Research
Gallagher, J. P. (Speaker)
Activity: Talk or presentation › Lecture and oral contribution
Larsen, S. (Organizer), Svabo, C. (Organizer), Gürsimsek, R. A. (Organizer), Abrantes, E. (Organizer), Gallagher, J. P. (Organizer), Jensen, S. S. (Organizer), Andreasen, T. (Organizer), Jepsen, P. M. (Organizer) & Pande, P. (Organizer)
Activity: Participating in or organising an event › Organisation and participation in conference
Gallagher, J. P. (Editor)
Activity: Editorial work and peer review › Editor of Research journal › Research
Gallagher, J. P. (Editor)
Activity: Editorial work and peer review › Editor of Research journal › Research
04/11/2013
1 item of Media coverage
Press/Media: Press / Media