The goal of Post-Quantum Cryptography (PQC) is to design cryptosystems which are secure against classical and quantum adversaries. A topic of fundamental research for decades, the status of PQC drastically changed with the NIST PQC standardization process. Recently there have been AI attacks on some of the proposed systems to PQC. In this talk, we will give an overview of the progress of quantum computing and how it will affect the security landscape. 

Group-based cryptography is a relatively new family in post-quantum cryptography, with high potential. I will give a general survey of the status of post-quantum group-based cryptography and present some recent results.

In the second part of my talk, I speak about Post-quantum hash functions using special linear groups with implication to post-quantum blockchain technologies.

CANCELLED DUE TO ILLNESS

The response of the Greenland and Antarctic ice sheets to a changing climate is one of the largest sources of uncertainty in future sea level predictions.  The behaviour of the subglacial environment, where ice meets hard rock or soft sediment, is a key determinant in the flux of ice towards the ocean, and hence the loss of ice over time.  Predicting how ice sheets respond on a range of timescales brings together mathematical models of the elastic and viscous response of the ice, subglacial sediment and water and is a rich playground where the simplified models of the contact between ice, rock and ocean can shed light on very large scale questions.  In this talk we’ll see how these simplified models can make sense of a variety of field and laboratory data in order to understand the dynamical phenomena controlling the transient response of large ice sheets.

From genetic studies and astrophysics simulations to statistical modelling and AI, scientific computing has enabled amazing discoveries and there is no doubt it will continue to do so. However, the corresponding environmental impact is a growing concern in light of the urgency of the climate crisis, so what can we all do about it? Tackling this issue and making it easier for scientists to engage with sustainable computing is what motivated the Green Algorithms project. Through the prism of the GREENER principles for environmentally sustainable science, we will discuss what we learned along the way, how to estimate the impact of our work and what levers scientists and institutions have to make their research more sustainable. We will also debate what hurdles exist and what is still needed moving forward.

The orbit method is a fundamental tool to study a finite dimensional solvable Lie algebra g. It relates the annihilators of simple U(g)-module to the coadjoint orbits of the adjoint group on g^* . In my talk, I will extend this story to the Witt algebra – a simple (non-solvable) infinite dimensional Lie algebra which is important in physics and representation theory. I will construct an induced module from an element of W^* and show that its annihilator is a primitive ideal. I will also construct an algebra homomorphism that allows one to relate the orbit method for W to that of a finite dimensional solvable algebra.

Congruent numbers are natural numbers which are the area of right angled triangles with all rational sides. This talk will investigate conjectures for the density of congruent numbers up to some value $X$. One can phrase the question of whether a natural number is congruent in terms of whether an elliptic curve has non−zero rank. A theorem of Coates and Wiles connects this to whether the $L$-function associated to this elliptic curve vanishes at $1$. We will mention the conjecture of Keating on the asymptotic density based on random matrix considerations, and prove Tunnell’s Theorem, which connects the question of whether a natural number is a congruent number to counting integral points on varieties. Finally, I will hint at some future work I hope to do on non-vanishing of the $L$-functions.

"The question of whether an impurity can be screened by bulk degrees of freedom is central to the study of defects and to (variations of) the Kondo problem. In this talk I discuss how symmetry, generalized or not, can give serious constraints on the possible scenarios at long distances. These can be quantified in the UV where the defect is weakly coupled. I will give some examples of interesting symmetric defect RG flows in (1+1) and (2+1)d.

Based on https://arxiv.org/pdf/2412.18652 and work in progress."

We will decide on speakers for Trinity term 2024.

This talk will introduce Khovanov and Knot Floer Homology as tools for studying knots. I will then cover some applications to problems in knot theory including distinguishing embedded surfaces and how they can be used in the context of ribbon concordances. No prior knowledge of either will be necessary and lots of pictures are included.

In 2006, Jan Dymara introduced the concept of weighted \(\ell^2\) Betti numbers as a method of computing regular \(\ell^2\) Betti numbers of buildings. This notion of dimension is measured by using Hecke algebras associated to the relevant Coxeter groups. I will briefly introduce buildings and then give a comparison between the regular \(\ell^2\) Betti numbers and the weighted ones.

It is a standard result that mapping class groups of high genus do not surject the integers. This is easily shown by computing the abelianization of the mapping class group using a presentation. Once we pass to finite index subgroups, this becomes a conjecture of Ivanov. More generally, we can ask which groups admit epimorphisms from finite index subgroups of the mapping class group. In this talk, I will present a geometric approach to this question, using harmonic maps, and explain some recent results.