John Gallagher

John Gallagher is a Research Professor (part-time) at the IMDEA Software Institute and holds a dual appointment as a full-time Professor at the University of Roskilde, Denmark. He leads the research group 'Programming, Logic and Intelligent Systems' at Roskilde University. His academic background includes a B.A. in Mathematics with Philosophy and a Ph.D. in Computer Science from Trinity College Dublin (1976 and 1983 respectively).

Research interests focus on program transformation, program analysis, constraint logic programming, semantics-based emulation of languages, and software verification. He has contributed to national and European research projects in these areas and serves on editorial and steering committees for journals and workshops, including the ACM SIGPLAN PEPM series.

With over 50 peer-reviewed publications and 1,200+ citations, his work emphasizes formal methods and programming language theory. He previously held positions at the University of Bristol (UK) and conducted postdoctoral research at the Weizmann Institute and Katholieke Universiteit Leuven.