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