Paul Beaumont

About Me

I have submitted my PhD Thesis on "Model-based Analysis of Nuclear Arms Control Verification Processes" to the Department of Computing at Imperial College London, and am awaiting my viva.

Email : website@pbeaumont.com
LinkedIn : linkedin.com/pbeaumont 

Publications

Beaumont, P; Evans, N; Huth, M; Plant, T - Confidence analysis for nuclear arms control: SMT abstractions of Bayesian Belief Networks
Computer Security -- ESORICS 2015, Lecture Notes in Computer Science, Springer, 2015

Beaumont, P; Evans, N; Huth, M; Plant, T - Confidence analysis for nuclear arms control: SMT abstractions of Game Theoretic Models
Proceedings of the 57th Annual Meeting of the Institute of Nuclear Materials Management, 2016

Beaumont, P; Evans, N; Huth, M; Plant, T - Bounded Analysis of Constrained Dynamical Systems: A Case Study in Nuclear Arms Control
Proceedings of the 57th Annual Meeting of the Institute of Nuclear Materials Management, 2016

Beaumont, P; Day, E; Evans, N; Haworth, S; Huth, M; Plant, T; Roberts, C - An in-depth case study: modelling an information barrier in Bayesian Belief Networks
Proceedings of the 57th Annual Meeting of the Institute of Nuclear Materials Management, 2016

Beaumont, P; Evans, N; Huth, M; Plant, T - Nuclear Arms control: Optimising verification processes through Formal Modelling
Proceedings of Defence and Security Doctoral Symposium, Defence Academy of the United Kingdom

Beaumont, P; Evans, N; Huth, M; Plant, T - Nuclear Arms control: Optimising verification processes through Formal Modelling
Papers from the 2016 Annual Conference of the UK Project on Nuclear Issues

Beaumont, P; Huth, M - Constrained Bayesian Networks: Theory, Optimization, and Applications
Imperial College Technical Report, on arXiv 1705.05326

With additional work currently under review for GameSec 2017 and The Journal of Decision Support Systems.

eHalls

eHalls is an online management system for Halls of Residence at Imperial that I designed whilst working as the Assistant Warden at Wilson House, Imperial College London, 2014-2017.