Paul Gainer
Phd Student

Publications

2018

Multi-Scale Verification of Distributed Synchronisation
Formal Methods in System Design (under review) [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 (to appear) [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
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators
20th International Conference on Formal Engineering Methods (ICFEM), 2018 (to appear) [pdf]
P Gainer, S Linker, C Dixon, U Hustadt, M Fisher

2017

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

2016

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

2015

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

Teaching

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.

Awards

The Sir Joseph Rotblat Alumni Scholarship

October 2015 · The University of Liverpool

Postgraduate research scholarship awarded for academic excellence.

BCS Merseyside Prize

July 2015 · BCS, The Chartered Institute for IT

Award for best student on a degree programme in the remit of the Board of Studies in Computer Science.

EPSRC Vacation Bursary

June 2014 · EPSRC

Awarded bursary to complete project Theorem Proving for Coalition Logic. CLProver++, the software produced during the project, can be found here.

Contact me

email: p [dot] gainer [at] liverpool [dot] ac [dot] uk

Work Address

Department of Computer Science
Ashton Building
University of Liverpool
Liverpool
L69 3BX
United Kingdom

LinkedIn

linkedin: linkedin.com/in/paul-gainer-984325a7

GitHub

git: http://github.com/paulgainer

Biography

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.

Current Research Interests

Probabilistic Model Checking; Parametric Model Checking; Formal Verification; Temporal Logics; Population Models and Synchronisation Protocols for Distributed Systems

Outreach

I have been involved in several Outreach activities at the University of Liverpool Computer Science Department.