|
|
John Gallagher Professor Roskilde University CBIT, Building 43.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 Professor (part time) at the IMDEA-Software Institute, Madrid.
- 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, Google Scholar, Microsoft Libra, Roskilde University publications archive, University of Bristol Computer Science Department publications archive, Other papers.
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).
- PEPM 2010. PC co-chair.
- FLOPS 2010. PC member.
- PPDP'09. PC member.
- LOPSTR'09. PC member.
- WLPE'09. Programme 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.
- 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)
- Introduction to Graphics and Animation (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?