| Multi-Scale Verification of Distributed Synchronisation Formal Methods in System Design (under review) [pdf] P Gainer, S Linker, C Dixon, U Hustadt, M Fisher |
| The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators 20th International Conference on Formal Engineering Methods (ICFEM, Best Paper), 2018 [pdf] P Gainer, S Linker, C Dixon, U Hustadt, M Fisher |
| Accelerated Model Checking of Parametric Markov Chains 16th International Symposium on Automated Technology for Verification and Analysis (ATVA), 2018 [pdf] P Gainer, E M Hahn, S Schewe |
| Incremental Verification of Parametric and Reconfigurable Markov Chains 15th International Conference on Quantitative Evaluation of Systems (QEST), 2018 [pdf] P Gainer, E M Hahn, S Schewe |
| CRutoN: Automatic Verification of a Robotic Assistant's Behaviours International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS/AVOCS), 2017 [pdf] P Gainer, C Dixon, K Dautenhahn, M Fisher, U Hustadt, J Saunders, M Webster |
| Investigating Parametric Influence on Discrete Synchronisation Protocols using Quantitative Model Checking 14th International Conference on Quantitative Evaluation of Systems (QEST), 2017 [pdf] P Gainer, S Linker, C Dixon, U Hustadt, and M Fisher |
| Probabilistic Model Checking of Ant-Based Positionless Swarming 17th Conference Towards Autonomous Robotic Systems (TAROS), 2016 [pdf] P Gainer, C Dixon, U Hustadt |
| Probabilistic Verification of an Ant-Based Swarming Algorithm Automated Reasoning Workshop (ARW), 2016 [pdf] P Gainer, C Dixon, U Hustadt |
| Ordered Resolution for Coalition Logic International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), 2015 [pdf] U Hustadt, P Gainer, C Dixon, C Nalon, L Zhang |
| CLProver++: An Ordered Resolution Prover for Coalition Logic Automated Reasoning Workshop (ARW), 2015 [pdf] U Hustadt, P Gainer, C Dixon, C Nalon, L Zhang |
| 2017 | Internet Principles (teaching assistant) B.SC. Computer Science, University of Liverpool, year 2. |
| 2017 | Database Development (teaching assistant) B.SC. Computer Science, University of Liverpool, year 2. |
| 2017 | Introduction to Artificial Intelligence (teaching assistant) B.SC. Computer Science, University of Liverpool, year 1. |
| 2017 | Principles of C and Memory Management (teaching assistant) B.SC. Computer Science, University of Liverpool, year 2. |
| 2017 | Principles of Computer Game Design and Implementation (teaching assistant) B.SC. Computer Science, University of Liverpool, year 2. |
| 2017 | Operating Systems Concepts (teaching assistant) B.SC. Computer Science, University of Liverpool, year 1. |
| 2016 | Robotics and Autonomous Systems (teaching assistant) B.SC. Computer Science, University of Liverpool, year 3. |
| 2016-17 | Professional Skills in Computer Science (teaching assistant) B.SC. Computer Science, University of Liverpool, year 1. |
| 2016 | Introduction to Programming (teaching assistant) B.SC. Computer Science, University of Liverpool, year 1. |
| 2016 | Operating Systems Concepts (teaching assistant) B.SC. Computer Science, University of Liverpool, year 1. |
| 2016 | Principles of C and Memory Management (teaching assistant) B.SC. Computer Science, University of Liverpool, year 2. |
| 2015 | Introduction to Programming (teaching assistant) B.SC. Computer Science, University of Liverpool, year 1. |
Awarded for paper "The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators" [pdf].
Postgraduate research scholarship awarded for academic excellence.
Award for best student on a degree programme in the remit of the Board of Studies in Computer Science.
Awarded bursary to complete project Theorem Proving for Coalition Logic. CLProver++, the software produced during the project, can be found here.
email: p [dot] gainer [at] liverpool [dot] ac [dot] uk
Department of Computer Science Ashton Building University of Liverpool Liverpool L69 3BX United Kingdom
I received a first-class Bachelor of Science degree in Computer Science from the University of Liverpool in 2015.
In October 2015 I started my Ph.D. research at the Department of Computer Science at the University of Liverpool under the supervision of Clare Dixon, Ullrich Hustadt, and Michael Fisher.
Probabilistic Model Checking; Parametric Model Checking; Formal Verification; Temporal Logics; Population Models and Synchronisation Protocols for Distributed Systems
I have been involved in several Outreach activities at the University of Liverpool Computer Science Department.