|
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 |
|
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?