**PhD Completion: **2012

**PhD Topic: **Continuous probability distributions and their use in model-based design languages in 2012. ...

**PhD Completion: **2012

**PhD Topic: **Continuous probability distributions and their use in model-based design languages in 2012. ...

**PhD Completion: **2016

**PhD Topic: **Identities arising from coproducts on multiple zeta values and multiple polylogarithms

**PhD Completion: **2010

**PhD Topic: **Counting and Averaging Problems in Graph Theory

**PhD Completion: **2015

**PhD Topic: **Geometry, dynamics and spectral analysis on manifolds and metric

graphs

<...

**PhD Completion: **2016

**PhD Thesis: **Topics in graph colouring and extremal graph theory

**Topic:** Reconfigu...

**PhD Completion: **2016

**PhD Topic: **On the Homological Algebra of Clusters, Quivers, and Triangulations

**PhD Topic: **Formal modelling and verification of shared variable concurrency

**Current Position: **Senior S...

**PhD Completion: **2015

**PhD Topic: **Modelling and Verification of Ambient Systems using Petri Nets

**Current Position: **Bowen is working on the EPSRC funded project UNCOVER (UNderstand...

**PhD Topic: **Cryptanalysis of braid group security protocols

**Current Position: **Software engineer in elec...

**PhD Completion: **2016

**PhD Thesis: **Hypergraph Partitioning in the Cloud

**Topic:** Graph and Hypergraph par...

**PhD Completion: **2013

**Current Position: **John is a software engineer at The MathWorks (a company producing MathLab and other ma...

**PhD Completion: **2012

**PhD Topic: **Skyrmion Stars

**PhD Completion: **2005

**PhD Topic: **Towards Skyrmion Stars: The Large Baryon Number Sector of the Einstein-Skyrme Model

**PhD Completion: **2012

**PhD Topic: **On the Kernel of the Symbol Map for Multiple Polylogarithms

**Current Position: **Rotterdam University of Applied Sciences