Personal profile
Research
See http://www.ruc.dk/~jpg for more details and links to my research activities.
Research
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.
Research
I am also Research Professor (part time) at the IMDEA Software Institute, Madrid.
External positions
Research Professor, IMDEA Software Institute
1 Jan 2009 → …
Keywords
- Computer science, IT
- Logic programming
- Program generations
- Program analysis
- Program specialisation
- Interactive installations
- Resource analysis of IT
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
Collaborations and research areas
Research output
-
Combatting Energy Issues for Mobile Applications
Li, X., Chen, J., Liu, Y., Wu, K. & Gallagher, J. P., 13 Feb 2023, In: ACM Transactions on Software Engineering and Methodology. 32, 1, 44 p., 3527851.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile6 Link opens in a new tab Citations (Scopus)725 Downloads (Pure) -
Preface
Lopez-Garcia, P., Gallagher, J. & Giacobazzi, R., 2023, Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. Lopez-Garcia, P., Gallagher, J. P. & Giacobazzi, R. (eds.). Festschrift ed. Springer, Vol. 13160 LNCS. p. vii-ix 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research
-
Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation
Gallagher, J. P., Hermenegildo, M. V., Morales, J. F. & López-García, P., 2023, Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. Glück, R. & Kafle, B. (eds.). Springer, Vol. 14330. p. 28-38 11 p. (Lecture Notes in Computer Science; No. 14330).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile3 Link opens in a new tab Citations (Scopus)129 Downloads (Pure) -
Analysis and Transformation of Constrained Horn Clauses for Program Verification
De Angelis, E., Fioravanti, F., Gallagher, J. P., Hermenegildo, M. V., Pettorossi, A. & Proietti, M., 2022, In: Theory and Practice of Logic Programming. 22, 6, p. 974-1042 69 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile28 Link opens in a new tab Citations (Scopus)245 Downloads (Pure) -
An Approach to Estimating Energy Consumption of Web-based IT Systems
Kirkeby, M. H., Gallagher, J. P. & Thomsen, B., 2021, In: CEUR Workshop Proceedings. 3145Research output: Contribution to journal › Conference article › Research › peer-review
1 Link opens in a new tab Citation (Scopus)
Projects
- 11 Finished
-
Energimærkning af Software og Software Installationer
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
-
Kulturportalen, Experience Lab RUC projekt
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
-
ICT-Energy
Gallagher, J. P. (Project participant), Rosendahl, M. (Project participant) & Bohr, N. (Project participant)
01/10/2013 → 30/09/2016
Project: Research
-
ENTRA: Whole-Systems Energy Transparency
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
-
The design of interactive experiences: advanced IT in inter-disciplinary teaching and research
Gallagher, J. P. (Project participant), Jørgensen, N. (Project participant) & Jacquemin, C. (Project participant)
01/04/2011 → 31/03/2012
Project: Research
Activities
-
Fundamenta Informaticae (Journal)
Gallagher, J. P. (Editor)
2020Activity: Editorial work and peer review › Editor of Research journal › Research
-
Energy-aware software engineering
Gallagher, J. P. (Speaker)
1 Nov 2019Activity: Talk or presentation › Lecture and oral contribution
-
Virtual Reality, Learning and Experience - seminar at Roskilde University
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)
21 Aug 2019Activity: Participating in or organising an event › Organisation and participation in conference
-
Fourteenth International Symposium on Functional and Logic Programming (Event)
Gallagher, J. P. (Editor)
2018Activity: Editorial work and peer review › Editor of Research journal › Research
-
LOPSTR 2017 - International Symposium on Logic-Based Program Synthesis and Transformation (Event)
Gallagher, J. P. (Editor)
2017Activity: Editorial work and peer review › Editor of Research journal › Research
Press/Media
-
RUC-forsker vil forlænge batteritid på mobilen
04/11/2013
1 item of Media coverage
Press/Media: Press / Media