Paul Gainer
Phd Student

Publications

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
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
P Gainer, S Linker, C Dixon, U Hustadt, and M Fisher
Probabilistic Model Checking of Ant-Based Positionless Swarming
17th Towards Autonomous Robotic Systems (TAROS), 2016
P Gainer, C Dixon, U Hustadt
Probabilistic Verification of an Ant-Based Swarming Algorithm
Automated Reasoning Workshop (ARW), 2016
P Gainer, C Dixon, U Hustadt
Ordered Resolution for Coalition Logic
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), 2015
U Hustadt, P Gainer, C Dixon, C Nalon, L Zhang
CLProver++: An Ordered Resolution Prover for Coalition Logic
Automated Reasoning Workshop (ARW), 2015
U Hustadt, P Gainer, C Dixon, C Nalon, L Zhang
Verification for a Robotic Assistant
Computer Science BSc (Hons) Dissertation, University of Liverpool, 2015
P Gainer

Teaching

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

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

Outreach

I am also involved in several Outreach activities at the University of Liverpool Computer Science Department.