Curriculum
Vitae: John Patrick Gallagher
Contact Details: Roskilde University, CBIT, Building 42.2,
Universitetsvej 1, 4000 Roskilde, Denmark. Tel. +45
46742196, Fax +45 46743072, Email
jpg@ruc.dk. Web
http://www.ruc.dk/~jpg/.
Date of birth: 30.8.1953. 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.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
40 peer reviewed articles
(Overall summary: 2 book chapters, 1 edited book, 6 journal papers, 32 refereed
international conference papers, 3 invited conference articles, 10 refereed
workshop papers or conference poster abstracts, 6 published review articles).
Citations: Ranked 2645 (top 0.35 %) in CiteSeer's most cited Computer Science
authors (755 citations). H-Index=19 (based on Google Scholar).
PhD
Supervision
Supervised 6 completed PhD
theses (1994, 1997, 1998 (2), 2000, 2007).
Research
Grants and Collaborations
- Jan. 2007 - Dec 2009. SAFT: Static Analysis with Finite Tree Automata. Danish Natural Science Research
Council.
- 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". Editorial Advisor.
- Member of the
Scientific Committee of the IMDEA-Software Institute (2007-8), Madrid, Spain.
- 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.
- LOPSTR'07:
http://www.cs.kent.ac.uk/events/conf/2007/lopstr/. PC member.
- WLPE'07:
http://www.comp.leeds.ac.uk/hill/WLPE07/. PC member.
- ICLP'06:
http://www.cs.uky.edu/iclp06. PC member.
- CSLP'06:
http://www.cslp06.org/. PC member.
- LOPSTR'06:
http://www.dsi.unive.it/lopstr2006/. PC member.
Recent Invited
Talks and Lectures
- PAT2005 Summer
School on Program Analysis and Transformation. Copenhagen. Lecturer.
- PROLE'2007/CEDI'2007.
Zaragoza, Spain. Conference invited speaker, September 2007.