Curriculum Vitae: John Patrick Gallagher

Contact Details: Roskilde University, Department of People and Technology, Building 44, Universitetsvej 1, 4000 Roskilde, Denmark. Tel. +45 46742196, Email jpg@ruc.dk. Web http://www.ruc.dk/~jpg/.

Nationality: Irish.

Education. B.A. (Hons) (1976) Mathematics and Philosophy, Trinity College, Dublin University, Ireland. Ph.D. (1983) Computer Science, Trinity College, Dublin University, Ireland.

Employment

• 1.9.2021 - present. Emeritus Professor, Roskilde University, Roskilde, Denmark.
• 1.11.2002 - 31.8.2021. Professor, Roskilde University, Roskilde, Denmark.
• 1.8.2008 - present. Research Professor (part time) at the IMDEA-Software Institute, Madrid.
• 1.4.2017 - 31.12.2018. Adjunct Professor at the Masinde Muliro University of Science and Technology (MMUST), Kakamega, Kenya.
• 1.1.1990 - 31.10.2002. Lecturer/Senior Lecturer (from 1997). University of Bristol, Bristol, UK.
  • 1.9.2000 - 30.8.2001 Visiting Professor. Tech. Univ. of Madrid, Spain.
  • 1.10.1996 - 30.9.1998. Self-employment (half-time), Chief Technology Officer, ABR Ltd., UK.
• 1.3.1989 - 31.12.1989. Postdoctoral Researcher, K.U. Leuven, Leuven, Belgium.
• 1.3.1987 - 28.2.1989. Postdoctoral Researcher, Weizmann Institute, Rehovot, Israel.
• 1.10.1984 - 31.1.1987. Research and Development, SCS Technische Automation und Systeme GmbH, Hamburg, Germany.
• 1.7.1983 - 31.8.1984. Research Fellow, Trinity College, Dublin, Ireland.

Awards

• 2015. Ridder af Dannebrogordenen (Knight of the Danish Royal Order of the Dannebrog).

Research Areas

• Member of the research group "Programming, Logic and Intelligent Systems" at Roskilde University (http://plis.ruc.dk/). Program transformation and generation, program analysis, constraint logic programming, semantics-based emulation of languages and systems.
• Use of advanced IT to create new forms of experience and communication. Co-founder (2009) of the Experience Lab at CBIT.

Publications and Citations

Overall summary: 4 book chapters, 5 edited books, 18 journal papers, 3 edited journal special issues, 61 refereed international conference and workshop papers, 3 invited conference articles, 6 published review articles.

Citations: H-Index=29 (Google Scholar). Total citations 2997.

PhD Supervision

Supervised 10 completed PhD theses (1994, 1997, 1998 (2), 2000, 2007, 2010, 2013, 2016, 2017).

Research Externally Funded Grants and Collaborations

• 1.02.2020 - 31.10.2020. Energimærkning af software og softwareinstallationer. Pilot project. (InfinIT.dk)
• 1.10.2013 - 30.09.2016. ICT-Energy. European Commission Framework 7 Coordination Action.
• 1.10.2012 - 31.12.2015. (Project coordinator and scientific project manager) ENTRA: Whole Systems Energy Transparency. EU 7th Framework Programme (FET Proactive initiative).
• 2011-2014. Numeric and Symbolic Abstractions in Software Model Checking. Danish Natural Science Research Council (FNU).
• 2010. Havhingstens tur til Irland - en interaktiv oplevelsesplatform (RUCInnovation). Project in the Experience Lab at CBIT.
• 2007-2010. SAFT: Static Analysis with Finite Tree Automata. Danish Natural Science Research Council (FNU).
• Nov. 2002- Jan. 2006. ASAP: "Advanced Specialization and Analysis for Pervasive Systems". EU Framework 5 Future and Emerging Technologies programme. IST-2001-38059.
• Dec. 2005- Dec. 2008. COMVERS "Verifiable and Resource-Aware Mobile Computation", project funded by Spanish Ministry of Science and Education. External Collaborator (not funded) with Tech. Univ. of Madrid (Project No. TIN-2005-09207-C03-01).
• Projects 1990-2000: Partner in EU ESPRIT project PRINCE, EU ESPRIT project PLUS. Participant in INTAS collaboration project. Partner in LPST - EU Human Capital and Mobility Network. Consultant in EU OMI ToTeM project.

Recent Activity in the International Research Community

• 2011-2018: Theory and Practice of Logic Programming; (Cambridge University Press). Area Editor.
• 2008-2011: Association for Logic Programming (ALP). Member of the executive committee.
• 2018- : Member of the steering committee for the International Symposium on Functional and Logic Programming (FLOPS).
• 2010-2013: Member of the steering committee for the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
• VPT 2021. PC member.
• HCVS 2021. PC member.
• VPT 2020. PC member.
• ICLP 2019. PC member.
• VPT 2019. PC member.
• HCVS 2019. PC member.
• PEPM 2019. PC member.
• FLOPS 2018. PC co-chair.
• LOPSTR 2017. PC co-chair.
• VPT 2018. PC chair.
• PEPM 2017. PC member.
• NWPT 2016. PC member.
• HCVS 2016. PC co-chair.
• VPT 2015. PC member.
• HCVS 2014. PC member.
• CICLOPS-WLPE 2014. PC member.
• FLOPS 2014. PC member.
• ICLP 2013. PC member.
• NSAD 2012. PC member.
• LOPSTR 2012. PC member.
• TOOLS Europe 2012. PC member.
• PEPM 2012. PC member.
• ICLP'11 (International Conference on Logic Programming). PC co-chair.