Links
Links to people
Formative influence

I learn a lot of Maths and other things from Christopher Douglas who also supervised my PhD.

I learned a lot of Computer Science from Samson Abramsky who supervised the first part of my PhD.

From undergrad to postgrad to postdoc, I’ve talked a lot of Maths with David Reutter.

Sources of inspiration, motivation and support:

My thesis examiners Andre Henriques and Mike Shulman,

Highly inspiring: David Ayala, Michael Eichmair, John Francis, Emily Riehl, Matthijs Vákár, Dominic Verity, Jamie Vicary, Mahmoud Zeinalian, … (and many more)

Enjoyable activities

Getting caught in snow storms with Christoph Weis, Jan Steinebrunner, Luciana Bonatto and Thibault Décoppet

Eating breakfast in the office with Emily Cliff, Craig Smith, Kieran Calvert and Richard Mathers

Climbing with Alice Kerr and Filippos Sytilidis

Trying to schedule a lunch with Lukas Brantner,

Surfing with Nanook Bergmann,

Solving physics homework with Henry Clausen,

Learning new bird names from Allison Roth

Accompanying Anton Richter on the piano,

Meditating with Mikesh Udani,

Sketching faces with José Ernesto Rodríguez,

Making hot pot with Ruth Sang Jones, Ella Bentin and Albert Xiao.

Acting as the personal trainer for Valentina Semenova and Julian Winkler,

Mindfulness exercises on the gymnastic rings with Matthijs Vákár

Getting crypto predictions from Benedikt Buenz,

Evaluating the human condition with Marius Vollberg,

My partner Chloé Colson does Maths too!
Links to things
General

A central source of inspiration in all aspects always comes from the \(n\)Category Cafe and the \(n\)Lab and its authors.

Two fast ways of making commutative diagrams: quiver and tikzcd by Yichuan Shen.

The Manifold Atlas for great summaries of what is known and what isn’t.

Codeforces for coding puzzles.
Algebraic and Differential topology

Jim Davis and Paul Kirk, Lecture notes in algebraic topology: fantastic notes for a grad student who has had a first course in algebraic topology.

Peter May, A Concise Course in Algebraic Topology: a logical next step, after having had some exposure to category theory as well. This fills in many topics that are left as “projects” in the previous notes.

Alexandru Scorpan, The wild world of 4manifolds: gives useful intuition about all the nonintuitive (but not technically “wild”) things that one starts to see in dimension 4.
Category and Type Theory

Samson Abramsky and Nikos Tzevelekos, Introduction to Categories and Categorical Logic.

Emily Riehl, Categorical Homotopy Theory: a natural bridge between ideas from classical homotopy theory and category theory.

Many authors, The HoTT Book: doubles as an introduction to type theory and many other things.
Computer science

Sanjeev Arora and Boaz Barak, Computational Complexity: A Modern Approach

Andriy Burkov, The HundredPage Machine Learning Book
Reading list/Comments

R. Sadykov’s, “Elements of surgery theory”

Antti Laaksonen, “Competitive Programmer’s Handbook”

I’m also looking for material to teach me more mathematical physics, in order to understand better some of the challenges that fundamental physics is facing. If you have favorites, do let me know :)
If anything should be added to the above, or doesn’t seem right, feel free to comment.