John Gallagher

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

Software

Miscellaneous

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