The goal was to expose them to some of the quantum nonsense that's out there (thank you @dulwichquantum.bsky.social), help them understand the incentives of all the parties involved, and teach them critical thinking skills. I hope this will be helpful in their future careers!
I've been running a Lean seminar at CWI/UvA for some time. We now started formalizing Appleby's result on the structure of the single-qudit Clifford group. Here's the blueprint and GitHub repository in case you're interested.
marozols.github.io/clifford-pro...
github.com/marozols/cli...
Lean formalization of the structure theorem for the single-qudit Clifford group - marozols/clifford-project
Lecturer/Senior Lecturer/Associate Professor in Quantum Computing Theory at University of Bristol www.bristol.ac.uk/jobs/find/de...
PhD opportunity in QIT in Grenoble.
I am advertising a project through the QuanG2 call, at the interface of nonlocality, self-testing, computationally bounded devices, complexity, and crypto.
My project is among the topics offered:
phdquantumgrenoble.univ-grenoble-alpes.fr/phd-applicat...
Big update: the EC Zoo is now a handbook. It spans codes, sphere packings, lattices, designs, groups, and phases of matter. Extensively checked, but not perfect—feedback very welcome:
arxiv.org/abs/2606.11484
This terrific article by Siobhan Roberts could help elevate the public discussion of AI in mathematics. The interview about the Leiden Declaration is especially helpful. www.nytimes.com/2026/06/02/s...
Two thoughtful write-ups about AI & math:
* "Use of AI in mathematical research: A guide for young mathematicians" by Pavel Etingof
math.mit.edu/~etingof/aiu...
* "What does AI do for the working mathematician?" by Krystal Guo
krystalguo.com/blog/ai-math...
New blog post out! ✨
I give here a visual introduction to algebraic topology in the context of quantum error correction. You will learn about manifolds, cellulations, chain complexes, and their relation to CSS codes like the surface code. Enjoy! :)
arthurpesah.me/blog/2026-05...
