Alex Wan

Welcome! You have arrived at the webpage of Alex Wan. :) ⊕ Niagara Falls (2022), the Canadian side.

I am currently a PhD student at the University of Bath, a part of the Mathematical Foundations of Computation research group and under the supervision of Thomas Powell.

My research interests include (but not exclusive to): proof mining; probability theory.

22wtsa null AT bath DOT ac DOT uk

* It uses the LaTex.css library by Vincent Dörig. Dark mode theme is based on the prefers-color-scheme CSS media query. † Last updated - November 2025

Papers

Preprints

• An approximate zero-one law via the Dialectica interpretation
  Thomas Powell and Alex Wan,
  (arxiv) Submitted, 2025.

Publications

• Power-like maps in n-abelian semigroups
  Alex Wan, Ranganathan Padmanabhan and Yang Zhang,
  (doi, Springer Nature SharedIt) To appear in Semigroup Forum.

Talks

• 8^th Southern and Midlands Logic Seminar, University of Sussex, Brighton,
  11th December 2024.
  Talk: Zero-one laws: a quantitative insight (slides).
• Workshop on Proof Mining 2024, Technische Universitat Darmstadt, Darmstadt,
  4 - 6 September 2024.
  Talk: Zero-one laws: a quantitative insight (slides).

Teaching

University of Bath

---

I have been a tutorial assistant for the following modules:

• Algorithms and Complexity (Semester 1 & 2 2024);
• Functional Programming (Semester 2 2023, Semester 2 2024);
• Programming 1 (Semester 1 2023, Semester 1 2024).

Aside

---

I tutor maths and English on behalf of Kumon (a programme aimed at the ages of 5 to 15 years old) since September 2017.

History

Education

---

since Oct 2023	PhD in Computer Science, Mathematical Foundations of Computation, Department of Computer Science University of Bath. (Supervised by Thomas Powell.)
Oct 2019 - Jun 2023	Master of Mathematics, Durham University.

Contact

22wtsa null AT bath DOT ac DOT uk

1 West 4.51,
Department of Computer Science,
University of Bath,
Claverton Down,
Bath,
BA2 7AY,
United Kingdom.