John Gallagher Professor Roskilde University CBIT, Building 42.2 P.O. Box 260 DK-4000 Roskilde, Denmark Phone: +45 4674 2196 Fax: +45 4674 3072 jpg@ruc.dk

Research

• Member of the Programming, Logic and Intelligent Systems research group in the Department of Communication, Business and Information Technologies at Roskilde University.
• Research Interests: Program transformation and generation, program analysis, constraint logic programming, semantics-based emulation of languages and systems.

Projects

• SAFT: Static Analysis with Finite Tree Automata. Danish Research Council project (2007-2009).
• ASAP: Advanced Specialisation and Analysis for Pervasive Systems. European Commission Framework 5 project (2002-2006).
  IST Results article on ASAP

Publications

• DBLP, Microsoft Libra, Google Scholar, Roskilde University publications archive, University of Bristol, Computer Science Department publications archive, Other papers.

Activities in the Research Community

• Theory and Practice of Logic Programming. Editorial Advisor.
• Member of the Scientific Committee of the IMDEA-Software Institute.
• SCAI'08. PC member.
• ICLP'08. PC member.
• SAS'08. PC member.
• CSLP@Context07. PC member.
• WLPE'07. PC member.
• LOPSTR'07. PC member.
• CONTEXT'07. Local organising committee member.
• ICLP'06. PC member
• LOPSTR'06. PC member
• SCAI'06. PC member
• WLPE'06. PC member
• CSLP'06. PC member
• LOPSTR'05. PC member; PADL'05. PC member; PAT2005 Summer School on Program Analysis and Transformation. Lecturer.

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.

Research Links

• Roskilde Computer Science internal research seminar series
• Logic programming. Wikipedia entry on LP, Virtual Library entry on LP

Teaching

• Creating Software Systems (local access)
• Introduction to Parallel and Distributed Computing (local access)
• Project topics.
• 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?