John Gallagher

John Gallagher
Professor
Roskilde University
CBIT, Building 43.2
Universitetsvej 1
DK-4000 Roskilde, Denmark

Phone: +45 4674 2196
Fax: +45 4674 3075

jpg@ruc.dk

Short CV

Research

Member of the Programming, Logic and Intelligent Systems research group in the Department of Communication, Business and Information Technologies at Roskilde University.
Research Professor (part time) at the IMDEA-Software Institute, Madrid.
Research Interests: Program transformation and generation, program analysis, constraint logic programming, rewrite systems, temporal logics, semantics-based emulation of languages and systems, and verification using abstraction.

Projects

SAFT: Static Analysis with Finite Tree Automata. Danish Research Council project (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, Microsoft Libra, Roskilde University publications archive, University of Bristol Computer Science Department publications archive, Other papers.

Recent Activities in the Research Community

Association for Logic Programming (ALP). Member of the executive committee.
Theory and Practice of Logic Programming. Editorial Advisor.
Member of the Scientific Committee of the IMDEA-Software Institute (2007-8).
ICLP'11. PC co-chair.
ICLP'10. PC member.
LOPSTR'10. PC member.
PEPM 2010. PC co-chair.
FLOPS 2010. PC member.
PPDP'09. PC member.
LOPSTR'09. PC member.
WLPE'09. PC co-chair.
M4M: Methods for Modalities'09. PC member.
PEPM'09. PC member.
PADL'09. PC member.
SCAI'08. PC member.
CSLP'08. PC member.
ICLP'08. PC member.
SAS'08. PC member.

Software

Various analysis and transformation tools
Tattoo: an on-line type analysis tool for logic programs.
CHA: an on-line convex polyhedron analysis tool for logic programs.

Teaching

Creating Software Systems (local access)
Introduction to Parallel and Distributed Computing (local access)
Introduction to Graphics and Animation (local access)
All PLIS group project suggestions.

Miscellaneous

Find out about your Irish ancestors.
All you need to know about Tropical and Travel Medicine.
Do you need an architect in London?