Dr. Angeliki Koutsoukou-Argyraki


Research Associate
Fellow of St Edmund’s College

Computer Laboratory
15 JJ Thomson Avenue
University of Cambridge
Tel.: (+44)/(0)1223763620 (Office)


I am a mathematician working within the ERC Project ALEXANDRIA led by Professor Lawrence Paulson. I am a member of the Automated Reasoning Group which is a part of the Programming, Logic and Semantics Research Group, at the Computer Laboratory, University of Cambridge , UK.

I was previously (10/2016-9/2017) a Scientific Associate at the Research Group Logic, Department of Mathematics, Technische Universität Darmstadt, Germany, under Professor Ulrich Kohlenbach.

My Erdős number is 4 (Erdős ->Magidor ->Bagaria ->Kohlenbach ->K.-A. Or Erdős -> Spencer -> Libkin -> Kohlenbach -> K.-A.).

Research Interests

Formalization of mathematical proofs with Isabelle ; Automated theorem proving and verification; Mechanisation of mathematics; Intersection of logic and mathematics; (Applied) proof theory, in particular I have been working on proof mining (pen-and-paper extraction of computable bounds from mathematical proofs) applied to proofs in nonlinear analysis, differential equations and fixed point theory; Foundations of mathematics.


PhD (Dr. rer. nat.) in Mathematics, Department of Mathematics , Technische Universität Darmstadt, Germany. The defense of my PhD thesis entitled ''Proof Mining for Nonlinear Operator Theory: Four Case Studies on Accretive Operators, the Cauchy Problem and Nonexpansive Semigroups'' under supervision of Prof. Dr. Ulrich Kohlenbach and funded by the International Research Training Group 1529 (Oct. 2013- Sept. 2016) took place on Dec. 21, 2016.

I previously obtained a M.Sc. in Mathematics from the Department of Mathematical Sciences, University of Copenhagen, Denmark (Dec. 2012), a Master de Sciences et Technologies (Mention Physique et Applications) from Université Paris VI (Pierre et Marie Curie), France, and a Diploma from the School of Applied Mathematical and Physical Sciences , National Technical University of Athens , Greece (2009).

Journal Publications

Online Notes

In the Archive of Formal Proofs

Abstracts in Proceedings

Talks (upcoming and past)

Reviews for Mathematical Reviews (AMS) of the papers:





Events to attend/ recently attended

Favorite Links