Programme

The following student talks have accepted for presentation at TMT 2022. The full programme and timings will be available here in due course.

Marina Anagnostopoulou-Merkouri, University of St Andrews

Properties of Congruence Lattices of Finite Graph Inverse Semigroups

Amber Bannister, Keele University

Asymptotic Analysis of Lamb Waves in a thin Elastic layer

Molly Barker, University of York

A Motivation of the Definition of a Modular Form

Veronica Bitonti, University College London

A Mathematical View of Space

Isabel Colorado, Lancaster University

Fuss-Catalan combinatorics in Representation Theory

Yaël Dillies, University of Cambridge

A formalization of the Krein-Milman theorem in Lean

James Hanson, Durham University

Explaining Deterministic Motion Using Probabilistic Quantum Mechanics…

Jonathan Hobbs, University of Kent

Measuring the effects of economic policy: Eat Out to Help Out and an application of Big Data

Bradley Howard, University of Sheffield

Assurance in clinical trial designs

Hernan Ibarra Mejia, University of Sheffield

Tomorrow's Mathematics Today: Automated Theorem Proving

Alice Kukuruzovic, University of Huddersfield

Modelling of Coffee Extraction

Taraneh Latifi Seresht, University of Edinburgh

Primes and Zeros of Riemann's Zeta function

Paul Lezeau, University of Warwick

Formal verification, or how to explain Algebraic Number Theory to a computer

Yunlin Li, University of Birmingham

Mathematical model for oxide growth on chromium rich steel in SOFC

Arthur Limoge, Imperial College London

Group actions on manifolds

René Mau, The Open University

Into the Abyss of General Relativity

Avanish Meedimale, University College London

The relation between size of a guitar's sound hole and its reverberation time

Hrishikesh Mukundan and Ion Emanuel Craciunescu, Lancaster University

The rough path in search of smooth solutions: A mathematical study of the Navier-stokes equations

Jake O'Keeffe, Durham University

Exploring non-integer dimensionality

Mark Pencovitch, University of Glasgow

Knottiness in the 4th Dimension

Marta Sartori, University College London

Why do we dream? Simulating REM sleep phases in an in silico neuron-astrocyte network

Besfort Shala, University of Oxford

The Probabilistic Zeta Function of a Finite Lattice

Henry Sharp, Strathclyde University

impossible constructions with ruler and compass

Amarjit Singh Gaba, Cardiff University

FractPy - Generating Fractals using Newtons Method

Haotian Xiao, University of Birmingham

Laplace Transform and Fourier Transform

Bingheng Yang, University College London

A mathematical proof of two formulas for index of hydrogen deficiency (IHD) using graph theory