John Gallagher Professor Emeritus Roskilde University IMT, Building 44 Universitetsvej 1 DK-4000 Roskilde, Denmark Phone: +45 4674 2196 E-mail: jpg@ruc.dk Short CV

PLIS Research Group

Research

• Member of the Programming, Logic and Intelligent Systems research group in the Department of People and Technology at Roskilde University.
• Research Professor (part time) at the IMDEA Software Institute, Madrid.
• 2017-2018: Adjunct Professor at the Masinde Muliro University of Science and Technology (MMUST), Kakamega, Kenya.
• 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.

Projects

• ICT-Energy. European Commission Framework 7 Coordination Action. (2013-2016).
  • Book published by ICT-Energy consortium: ICT - Energy Concepts for Energy Efficiency and Sustainability
• ENTRA: Whole-Systems Energy Transparency. European Commission Framework 7 project in the FET Proactive (MINECC) initiative. Partners University of Bristol, XMOS Ltd, and IMDEA Software Institute (2012-2015).
  • Press release about ENTRA, October 2012.
• Experience Lab. Co-founder and member of steering group.
• NUSA: Numeric and Symbolic Abstractions in Software Model Checking. Danish Natural Science Research Council (FNU) (2011-2014).
• SAFT: Static Analysis with Finite Tree Automata. Danish Natural Science Research Council (FNU) (2007-2010).
• ASAP: Advanced Specialisation and Analysis for Pervasive Systems. European Commission Framework 5 project (2002-2006).
  IST Results article on ASAP

Publications

• DBLP, Google Scholar, ORCiD, Roskilde University publications archive, Other papers.

Recent Activities in the Research Community

• 2011-2018: Theory and Practice of Logic Programming. Area Editor (Technical Notes and Rapid Publications).
• 2018- : Member of the steering committee for the International Symposium on Functional and Logic Programming (FLOPS).
• 2017- : Member of the steering committee for LOPSTR: Logic-Based Program Synthesis and Transformation.
• 2010-2013: Member of the steering committee for the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
• 2008-2011: Member of the executive committee of the Association for Logic Programming (ALP).
• VPT 2021. PC member.
• HCVS 2021. PC member.
• VPT 2020. Invited speaker.
• LOPSTR 2019. Invited speaker.
• ICLP 2019. PC member.
• VPT 2019. PC member.
• HCVS 2019 (ETAPS workshop). PC member.
• PEPM 2019. PC member.
• VPT 2018 (ETAPS workshop). PC chair.
• NWPT 2017. PC member.
• FLOPS 2018. PC co-chair.
• HCVS 2017. PC member.
• LOPSTR 2017. PC co-chair.
• VPT 2017. PC member.
• PEPM 2017. PC member.
• NWPT 2016. PC member.
• VPT 2016. Invited speaker.
• PPDP 2016. PC member.
• ICLP 2016. PC member.
• HCVS 2016. PC co-chair.
• HCVS 2015. PC member.
• VPT 2015. PC member.
• HCVS 2014. PC member.
• CICLOPS-WLPE 2014. PC member.
• FLOPS 2014. PC member.
• SCAI 2013. PC member.
• WLPE 2013. PC member.
• ICLP'2013. PC member.

Internal events

• Roskilde Computer Science internal research seminar series (2003-2008)
• Seminar on virtual archaeology, May 2009.

---

Software

• Optimised finite tree automaton determinisation.
• Various analysis and transformation tools

---

Miscellaneous

• All you need to know about Tropical and Travel Medicine.
• Do you need an architect in London?