|
Peter Kilpatrick |
|
|
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.
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. | |