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

PLIS Research Group

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

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-2013).
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, 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. Area Editor (Technical Notes and Rapid Publications).
Member of the steering committee for the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
LOPSTR'12. PC member.
TOOLS Europe 2012. PC member.
PEPM 2012. PC member.
LOPSTR'11. Invited Speaker.
WLPE'2011. PC member.
SCAI'11. PC member.
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

Mobile Apps Workshop (Autumn 2011)
Robot programming (Spring 2011)
Webapplikationer (Spring 2011)
Mobile Agents (Autumn 2010)
Teori og metode 2 (MKM2) (Autumn 2010)
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?