IMDEA Software

Iniciativa IMDEA

Inicio > Personal > John Gallagher

John Gallagher

John Gallagher
PhD - Trinity College, Dublín, Irlanda
Research Professor (Part time)

Despacho: 210
Teléfono: +34-91-101-2202 ext 4110
Email:
Página web: http://akira.ruc.dk/~jpg/

Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Short bio

John Gallagher received the B.A. (Mathematics with Philosophy) and Ph.D. (Computer Science) degrees from Trinity College Dublin in 1976 and 1983 respectively. He held a research assistantship in Trinity College (1983-4), and post-doc appointments at the Weizmann Institute of Science, Israel (1987-1989) and Katholieke Universiteit Leuven, Belgium (1989). From 1984-1987 he was employed in research and development in a software company in Hamburg, Germany. Between 1990 and 2002 he was a lecturer and later senior lecturer at the University of Bristol, UK. Since 2002 he has been a professor at the University of Roskilde, Denmark, where he is leader of the research group Programming, Logic and Intelligent Systems as well as (part-time) Professor and holds a dual appointment at the IMDEA Software Institute since February 2007. He is a member of the executive committee of the Association of Logic Programming and of the steering committee of the ACM SIGPLAN workshop series on Partial Evaluation and Program Manipulation (PEPM). He is an editorial advisor to the journal Theory and Practice of Logic Programming. He has published approximately 50 peer-reviewed papers which have over 1200 citations.

His research interests focus on program transformation and generation, program analysis, constraint logic programming, rewrite systems, temporal logics, semantics-based emulation of languages and systems, and verification using abstraction and has participated in a number of national and European research projects on these topics.

Please visit my homepage at Roskilde University

Research Interests

Program transformation and generation; program analysis; constraint logic programming, semantics-based emulation of languages and systems.