Developing techniques and tools for decomposing discrete state based models for biological applications.
List of our current PhD students
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...
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
The vertex coordinates of a triangle mesh are stored in computer memory with finite precision. Aeshah is studying the relationship between the choice of the quantisati...
Rational Cherednik algebras in positive characteristic and their representations
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
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
Curvature notions of discrete metric measure spaces and their functional inequalities
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
Naoko is a PhD student in the Applied & Computational Mathematics Research Group: She works in topics of fluid dynamics, in particular the Navier-Stokes equation....
Luma’s research interests lie in machine learning, biometric security, liveness detection, and face recignition anti-spoofing algorithms
Algorithms for solving graph-theoretic problems restricted to special graph classes, in particular by using the price of connectivity concept which expresses the maxim...
Complex hyperbolic lattices
Cluster categories and generalised Conway-Coxeter friezes
Complex hyperbolic lattices
Higher dimensional homological algebra
Kieran will start his PhD in October 2018. His research interests lie in the areas of Bayesian statistics, Monte Carlo methods, model selection, and uncertainty quanti...
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.
Low dimensional topology
Clare is jointly supervised by Ostap Hryniv and Andrew Wade in a topic of probability.
Rigorous analyses of probabilistic protocols for various fundamental communication problems in networks
Xin is developing algorithms for watermark insertion and extraction, on the surface and beneath the surface of 3D printing objects.