Sophie Germain's 250th Birthday

Sophie GermainIf you weren't able to make it to the event in London for Sophie Germain's 250th birthday, the videos from the event are now available online! 

Short Stories 2

Turns out Prof. Marcus du Sautoy is more of a Mr. Don't Know It All. 

Short Stories 1

All over the globe, and maybe somewhere out in space, students are revising - or maybe in a few cases 'vising'. Hear from some of your peers about how they're going about it.

Spoiler alert: this remains an open problem.

Week 3 Student Bulletin

AWBIt's the Week 3 Student Bulletin! 

We hope you celebrated International Women in Mathematics day this week (12th May). 

Read on for details of the Options Fair, JPMorgan events in the department, and the chance to win a £40 Amazon voucher!

 

Fri, 15 May 2026
13:00
L4

Geometry and excluded-volume effects in particle systems

Maria Bruna
(Oxford University)
Abstract

I will discuss stochastic systems of interacting particles with non-overlapping constraints, which give rise to so-called excluded-volume interactions. The aim is to derive effective macroscopic equations governing the evolution of particle densities from the underlying microscopic dynamics. When particles possess nontrivial size or shape, geometric constraints become essential: they complicate the coarse-graining process and strongly influence the emergent behaviour of the system. I will present two representative examples, hard spheres and infinitely thin needles, highlighting how geometry enters the macroscopic description

Add to calendar
Unified framework for the ingestion of early epidemic data for downstream data analytics
 Kamau, E Kelly, S Darji, D Baidjoe, A Brownstein, J Campbell, F Dasgupta, A Degail, M Demidova, A Ferretti, L Han, A Koyie, S Ngamala, P Polain, O Rojek, A Sauer, J Scarpino, S Sewalk, K Sopko, J Zakrzewski, S Merson, L Kraemer, M Wellcome Open Research volume 10 524-524 (08 May 2026)
Mon, 18 May 2026
16:30
L5

Algebraic type theory 

Steve Awodey
(Carnegie Mellon University)
Abstract
A representable natural transformation u : U* —> U in the category Psh(C) of presheaves on a small category C is a “natural model" of dependent type theory. The type-forming operations may be described as an algebraic structure on u, representing corresponding operations on the type-families classified by u. For example, the dependent product or “Pi-type” is an algebra structure for the polynomial endofunctor
 
P_u : Psh(C) —> Psh(C) .
 
Similar operations on u represent the other type-formers of unit type, dependent sums, and identity types. The latter are given by a recently determined “path-type” structure, which relates such models to cubical (Quillen) model categories.
Add to calendar
Flow interactions and forward flight dynamics of tandem flapping wings
 Fang, F Mavroyiakoumou, C Ristroph, L Shelley, M Journal of Fluid Mechanics volume 1034 (08 May 2026)
Subscribe to