Peter Kilpatrick
Computer Science
Queen's University Belfast


Research Interests

I am a member of the High Performance and Distributed Computing research cluster in the School of Electronics, Electrical Engineering and Computer Science at Queen's University Belfast. I have a long-held interest in the pragmatic use of formal specification notations to model and reason about systems, most recently parallel/distributed systems built using parallel patterns (algorithmic skeletons). Other interests include variability management, particularly in the context of software product lines and feature modelling. Previously I have worked in the areas of program transformation, formal methods, and language design for parallel systems.

I was chair of PDP 2013 and co-chair of PDP 2014

Recent Projects

cHiPSet (2015-2019)
Cactos (2013-2016)
ParaPhrase (2011-2015)
CoreGRID (2004-2008)

A list of my publications can be found on ResearchGate (probably the most complete list). And on PURE.

I currently co-supervise one PhD student:
Esha Barlaskar: Scheduling jobs for cloud execution.


I teach a final-year course:
"Algorithms: Analysis and Applications" which explores the complexity of a range of classical algorithms including sorting, searching, pattern matching, etc.
Previously I have taught courses on High Performance Computing, Introductory Programming, Concurrency Theory and Practice, Formal Methods (VDM), Computation Theory, Language Semantics, Human-Computer Interaction.