Photo of John Patrick Gallagher
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde


If you made any changes in Pure these will be visible here soon.

Personal profile


  • Computer science, IT
  • Logic programming
  • Program generations
  • Program analysis
  • Program specialisation
  • Interactive installations

Publication network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2002 2018

An iterative approach to precondition inference using constrained Horn clauses

Kafle, B., Gallagher, J. P., Gange, G., Schachte, P., Søndergaard, H. & Stuckey, P. J., Jul 2018, In : Theory and Practice of Logic Programming. 18, 3-4, p. 553-570

Research output: Contribution to journalConference articleResearchpeer-review


Functional and Logic Programming: 14th International Symposium (FLOPS 2018), Nagoya, Japan, May 9-11, 2018

Gallagher, J. P. (ed.) & Sulzmann, M. (ed.), 2018, Switzerland: Springer. 281 p. (Lecture Notes in Computer Science, Vol. 10818). (Theoretical Computer Science and General Issues).

Research output: Book/ReportAnthologyResearchpeer-review

Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017

Gallagher, J. P. (ed.) & Fioravanti, F. (ed.), 2018, Springer. (Lecture Notes in Computer Science, Vol. 10855).

Research output: Book/ReportAnthologyResearchpeer-review

Optimised determinisation and completion of finite tree automata

Gallagher, J. P., Ajspur, M. & Kafle, B., Jan 2018, In : Journal of Logic and Algebraic Programming. 95, p. 1-16

Research output: Contribution to journalJournal articleResearchpeer-review

Proceedings, Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation

Gallagher, J. P. (ed.), van Glabbeek, R. (ed.) & Serwe, W. (ed.), Apr 2018, EPTCS. (Electronic Proceedings in Theoretical Computer Science, Vol. 268).

Research output: Book/ReportAnthologyResearchpeer-review

Open Access

Projects 2007 2017

Activities 2004 2018

Fourteenth International Symposium on Functional and Logic Programming (Event)

Gallagher, J. P. (Editor)

Activity: Editorial work and peer reviewEditor of Research journalResearch

The 27th International Symposium on Logic-based Program Synthesis and Transformation (Event)

Gallagher, J. P. (Editor)

Activity: Editorial work and peer reviewEditor of Research journalResearch

Theory and Practice of Logic Programming (Journal)

Gallagher, J. P. (Editor)
1 Jan 201231 Dec 2016

Activity: Editorial work and peer reviewEditor of Research journalResearch

Program Analysis With Regular Tree Languages

Gallagher, J. P. (Lecturer)
19 Jul 2011

Activity: Talk or presentationLecture and oral contribution


11th Scandinavian Conference on Artificial Intelligence (External organisation)

Gallagher, J. P. (Member)
2011 → …

Activity: MembershipMembership in committee, council, board

Press / Media

RUC-forsker vil forlænge batteritid på mobilen

John Patrick Gallagher


1 item of media coverage

Press/Media: Press / Media