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: Contribution to journal › Journal article › Research › peer-review
Research output: Contribution to journal › Conference article › Research › peer-review
Research output: Contribution to journal › Editorial › peer-review
Gallagher, J. P., Kirkeby, M. H., Rosendahl, M. & Rhiger, M.
01/02/2020 → 30/09/2020
Project: Research
Jensen, S. S., Laursen, B., Gallagher, J. P., Andreasen, T. & Christiansen, H.
15/08/2014 → 01/02/2017
Project: Research
Gallagher, J. P., Rosendahl, M., Rhiger, M., Strand, D. L. & Bohr, N.
01/10/2012 → 30/09/2015
Project: Research
Gallagher, J. P., Jørgensen, N. & Jacquemin, C.
01/04/2011 → 31/03/2012
Project: Research
John Patrick Gallagher (Editor)
Activity: Editorial work and peer review › Editor of Research journal › Research
Søren Larsen (Organizer), Connie Svabo (Organizer), Remzi Ates Gürsimsek (Organizer), Eduardo Abrantes (Organizer), John Patrick Gallagher (Organizer), Sisse Siggaard Jensen (Organizer), Troels Andreasen (Organizer), Per Meyer Jepsen (Organizer) & Prajakt Pande (Organizer)
Activity: Participating in or organising an event › Organisation and participation in conference
John Patrick Gallagher (Speaker)
Activity: Talk or presentation › Lecture and oral contribution
John Patrick Gallagher (Editor)
Activity: Editorial work and peer review › Editor of Research journal › Research
John Patrick Gallagher (Editor)
Activity: Editorial work and peer review › Editor of Research journal › Research
04/11/2013
1 item of Media coverage
Press/Media: Press / Media