John P. Gallagher
John P. Gallagher received his BA (Mathematics with Philosophy) and PhD (Computer Science) degrees from Trinity College, Dublin, in 1976 and 1983, respectively. He held post-doc positions in Trinity College, Dublin, Weizmann Institute of Science, Israel, and Katholieke Universiteit Leuven, Belgium, and performed research and development in a software company in Hamburg, Germany. Between 1990 and 2002, he was at the University of Bristol, UK. Since 2002, he has been a professor at the University of Roskilde, Denmark, in the research group Programming, Logic and Intelligent Systems and holds a dual appointment as research professor at the IMDEA Software Institute since February 2007. He is an area editor for the journal Theory and Practice of Logic Programming. His research interests focus on programme transformation, software analysis, semantics-based emulation of languages and systems and verification using abstraction, and he has participated in several national and European research projects on these topics.