Curriculum Vitae: John Patrick Gallagher

Contact Details: Roskilde University, CBIT, Building 43.2, Universitetsvej 1, 4000 Roskilde, Denmark. Tel. +45 46742196, Fax +45 46743075, Email jpg@ruc.dk. Web http://www.ruc.dk/~jpg/.

Nationality: Irish.

Education. B.A. (Hons) (1976) Mathematics and Philosophy, Trinity College, Dublin University, Ireland. Ph.D. (1983) Computer Science, Trinity College, Dublin University, Ireland.

Appointments

• 1.11.2002 - present. Professor, Roskilde University, Roskilde, Denmark.
  • 1.8.2008 - present. Research Professor (part time) at the IMDEA-Software Institute, Madrid.
• 1.1.1990 - 31.10.2002. Lecturer/Senior Lecturer (from 1997). University of Bristol, Bristol, UK.
  • 1.9.2000 - 30.8.2001 Visiting Professor. Tech. Univ. of Madrid, Spain.
  • 1.10.1996 - 30.9.1998. Self-employment (half-time), Chief Technology Officer, ABR Ltd., UK.
• 1.3.1989 - 31.12.1989. Postdoctoral Researcher, K.U. Leuven, Leuven, Belgium.
• 1.3.1987 - 28.2.1989. Postdoctoral Researcher, Weizmann Institute, Rehovot, Israel.
• 1.10.1984 - 31.1.1987. Research Scientist. SCS TAS GmbH, Hamburg, Germany.
• 1.7.1983 - 31.8.1984. Research Fellow, Trinity College, Dublin, Ireland.

Research Areas

Leader of the research group "Programming, Logic and Intelligent Systems" at Roskilde University (http://plis.ruc.dk/). Program transformation and generation, program analysis, constraint logic programming, semantics-based emulation of languages and systems.

Publications and Citations

44 peer reviewed articles (Overall summary: 2 book chapters, 1 edited book, 6 journal papers, 36 refereed international conference papers, 3 invited conference articles, 10 refereed workshop papers or conference poster abstracts, 6 published review articles). Citations: Ranked 4488 (top 0.51 %) in CiteSeer's most cited Computer Science authors (1265 citations). H-Index=22 (based on Google Scholar).

PhD Supervision

Supervised 7 completed PhD theses (1994, 1997, 1998 (2), 2000, 2007, 2010).

Research Grants and Collaborations

• 2011-2013. Numeric and Symbolic Abstractions in Software Model Checking. Danish Natural Science Research Council (FNU).
• 2010. Havhingstens tur til Irland - en interaktiv oplevelsesplatform (RUCInnovation). Project in the Experience Lab at CBIT.
• 2007-2010. SAFT: Static Analysis with Finite Tree Automata. Danish Natural Science Research Council (FNU).
• Nov. 2002- Jan. 2006. ASAP: "Advanced Specialization and Analysis for Pervasive Systems". EU Framework 5 Future and Emerging Technologies programme. IST-2001-38059.
• Dec. 2005- Dec. 2008. COMVERS "Verifiable and Resource-Aware Mobile Computation", project funded by Spanish Ministry of Science and Education. External Collaborator (not funded) with Tech. Univ. of Madrid (Project No. TIN-2005-09207-C03-01).
• Projects 1990-2000: Partner in EU ESPRIT project PRINCE, EU ESPRIT project PLUS. Participant in INTAS collaboration project. Partner in LPST - EU Human Capital and Mobility Network. Consultant in EU OMI ToTeM project.

Recent Activity in the International Research Community

• Association for Logic Programming (ALP). Member of the executive committee.
• Journal "Theory and Practice of Logic Programming". Area Editor.
• Member of the Scientific Committee of the IMDEA-Software Institute (2007-8), Madrid, Spain.
• Member of the steering committee for the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
• TOOLS Europe 2012. PC member.
• PEPM 2012. PC member.
• ICLP'11 (International Conference on Logic Programming). PC co-chair.
• ICLP'10 (International Conference on Logic Programming). PC member.
• LOPSTR'10 (Logic-Based Program Synthesis and Transformation). PC member.
• PEPM'10 (ACM Workshop on Partial Evaluation and Semantics-Based Program Manipulation). Program Co-chair.
• FLOPS'10 (Tenth International Symposium on Functional and Logic Programming). PC member.
• WLPE'09 (19th Workshop on Logic Programming Environments). Program Co-chair.
• PPDP'09 (Principles and Practice of Declarative Programming. PC member.
• LOPSTR'09 (Logic-Based Program Synthesis and Transformation). PC member.
• PEPM'09 (ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation). PC member.
• PADL'09 (Practical Aspects of Declarative Languages). PC member.
• ICLP'08 (International Conference on Logic Programming). PC member.
• SAS'08 (International Static Analysis Symposium). PC member.