Thomas Ammer

Contact

firstname.lastname@kcl.ac.uk

firstname.lastname@tum.de

Bio

Since October 2023, I am a PhD student under supervision of Mohammad Abdulaziz at King's College London. Before that, I did my Bachelor's (completion in September 2021) and Master's degree (completion in October 2023) at the Technical University of Munich (TUM).

My interests are the formalisation of algorithms for combinatorial optimisation problems in Isabelle.

Publications

• Formal Analysis of Capacity Scaling Algorithms for Minimum Cost Flows
  Together with Mohammad Abdulaziz
  Published in proceedings of the 15th International Conference on Interactive Theorem Proving (ITP), 2024

Talks

• Formalising and Verifying Algorithms for the Minimum Cost Flow Problem
  Trimester Program Prospects for Formal Mathematics hosted at Hausdorff Research Institute for Mathematics, June 2024, Bonn, Germany

Formalisations

Two formalisations published in the Archive of Formal Proofs:

• van Emde Boas Trees (2021)
• Number Theoretic Transform (2022)

Funding, Grants, Memberships, Awards

• For the PhD, I am receiving an NMES Faculty Studentship from King's
• best.in.tum membership, special programme for the top 2% at TUM's Department of Informatics
• Stipendiat der Bischöflichen Studienförderung des Cusanuswerks during Bachelor's and Master's

Theses

• The van Emde Boas Priority Queue in Isabelle/HOL (Bachelor of Science, September 2021, TUM)
• Verification of Orlin's Algorithm in Isabelle/HOL (Master of Science, October 2023, TUM)