Jack graduated from Newcastle university in 2014 with an MMath in Mathematics and Statistics. His area of study is homomorphic Encryption. His is being supervised by D...

# List of our current PhD students

Analysis and visualize large data sets of criminal investigations by Structured Occurrence Nets (SONs)

Developing tool support for discrete state based modelling and analysis

Investigating the compositional construction and analysis of discrete state based models for biological applications

We study operator algebras that arise naturally from the action of semigroup action on a (perhaps) non-commutative state space. The aim is to relate properties of the ...

Modelling and analysing of dependable medical devises

stochastic growth models

Mechanising a refinement calculus for Rely/Guarantee in Isabelle/HOL

Liam is investigating algebraic and geometric properties of quantum symmetric pairs, in particular incarnations of braid groups.

Higher dimensional homological algebra — This relates to the combinatorial theory of cyclic polytopes

Information geometry in the space of evolutionary trees

Centre of mass for random walks

Mark is developing methods for profiling the resilience properties of systems described in terms of heterogeneous (discrete and continuous) models.

Formal security protocols workbench: from MULTOS to EMV

Mutations of quivers, automorphisms of exchange graphs and cluster automorphisms

Phonon Displacement in polymers, including proteins alpha-helices

Martin is developing a formal framework for the model-based design of cyber-physical systems, relating languages used for describing system architectures with multi-pa...

Convex hulls of random walks

Groups acting on hyperbolic buildings, torsion free subgroups of hyperbolic Coxeter groups, polygons of groups

Complex hyperbolic lattices

Cluster categories and generalised Conway-Coxeter friezes

The Higman-Thompson groups have solvable conjugacy problem. David is working on the simultaneous conjugacy problem in these groups.

Hamiltonian flows and Monte Carlo sampling alogorithms in evolutionary tree-space

Hansen is applying techniques from self-organising and self-adaptive systems to the rule-based description of resilience policies of cyber-physical systems.

Algorithms for solving graph-theoretic problems for special inputs, that is, exploit the structure of some special graph class in order to find an efficient algorithm ...

Rigorous analyses of probabilistic protocols for various fundamental communication problems in networks

Triangulations of non-oriented surfaces and cluster structures on them