Peter Kilpatrick
Computer Science
Queen's University Belfast
Contact

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 distributed/grid-based systems and, in particular, autonomic aspects of such systems. Other current interests include variability management, particularly in the context of software product lines and feature modelling; and model-driven engineering. Previously I have worked in the areas of program transformation, formal methods, and language design for parallel systems.
My publications can be found here.

I currently co-supervise six PhD students:
Rachel Gawley: derivation of design patterns from feature models.
Anthony Keenan: derivation of distributed implementations from Orc specifications
Mathias Fritzsche: model-driven performance engineering.
Ahmed Hussein: an investigation into dynamically adaptive components in scientific computation.
Stuart Hacking: Amorphous Modelling for Large-Scale Distributed Systems.
Stephan Kraft: Performance Modelling for Distributed Systems.

Teaching

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