Dr. Angeliki Koutsoukou-Argyraki


Senior Research Associate
Computer Laboratory and Clare College Cambridge
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. I am also a participant in the upcoming research project Extreme Human Oriented Automatic Theorem Proving led by Professor Timothy Gowers at the Department of Pure Mathematics and Mathematical Statistics University of Cambridge.

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.

ORCID MathSciNet ResearchGate

Research Interests

Formalization of mathematical proofs with Isabelle ; Interactive theorem proving and verification; Mechanisation of mathematics; Automatic proof discovery; 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

Conference Publications

On the Archive of Formal Proofs


SErAPIS: A concept-oriented search engine for the Isabelle Libraries and the Archive of Formal Proofs.
Please try it out here and give us your relevance feedback after reading the user guide.

Abstracts in Conference Proceedings

Fun with Maths

Talks (upcoming and past)

Service/Other activities


Events to attend/ recently attended

Favourite Links