Home

One of the most famous formulas in modal logic is the Löb formula, which expresses a (true) extension of Gödel's second incompleteness theorem. Besides for its arithmetical interpretation, the formula is well-known for its model theory and proof theory, which […]

The Skolemization method in first-order logic is a well-known translation on formulas that makes explicit the implicit functions hidden in quantifier combinations ∀∃. It is an important tool in certain areas in computer science but it also has intriguing properties […]

We review the conformal mapping framework for planar particle aggregation and then visually motivate a Markovian simplification in the case where free particles are attracted to deposited particles. We explain the small-particle scaling limit for this simplification under smooth geometries […]

We introduce a new nonparametric methodology for estimating a directed acyclic graph (DAG) from observational data. Our method is nonparametric in nature: it does not impose any specific form on the joint distribution of the underlying DAG. Instead, it relies […]

There is a conjecture that certain conformal field theories can be described in terms of string theory, and vice versa, known as the AdS/CFT correspondence (J. Maldacena, 1997). To this day, there is no general proof of this statement. However, […]

Abstract: The Schröder problems are a set of 4 combinatorial questions relating to counting different kinds of bracketings. In this talk, we introduce the basic idea of combinatorial species, demonstrate a common species approach which can solve the four of […]

There is significant interest in the L^2 metric on the moduli space of SU(2) Euclidean monopoles, both because it is hyperkähler, and because it models monopole dynamics. No direct analogue of such a metric exists for hyperbolic monopoles, though alternatives […]

Abstract: The Schröder problems are a set of 4 combinatorial questions relating to counting different kinds of bracketings. In this talk, we introduce the basic idea of combinatorial species, demonstrate a common species approach which can solve the four of […]

A foundational and fascinating theme in differential geometry is to understand how geometric quantities constrain topology. In this talk, we will explain how the topological complexity of minimal surfaces in closed three-manifolds can be controlled by their variational instability and […]

The relative contributions of wild-bird spillover and local spread to highly pathogenic avian influenza (HPAI) infection in British poultry remain poorly quantified. I first introduce the WiLiMan-ID modelling challenge on Jolly Island to explore how intervention priorities may change as […]

In this talk, I will relate the expected hyperbolic length of the perimeter of the convex hull of the trajectory of Brownian motion in the hyperbolic plane to an expectation of a certain exponential functional of a one-dimensional real-valued Brownian […]

TBA

The compactified Ruijsenaars--Schneider systems are completely integrable Hamiltonian systems on smooth moduli spaces of flat SU(n) connections on the one-holed torus. The monodromy around the hole is constrained to the smallest non-central conjugacy classes of SU(n), which can be labelled […]