Dr. Angeliki Koutsoukou-Argyraki

           

Research Associate
Fellow of St Edmund’s College

Computer Laboratory
15 JJ Thomson Avenue
University of Cambridge
CB3 0FD, UK
ak2110[at]cam[dot]ac[dot]uk
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.

Studies

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

In the Archive of Formal Proofs

Abstracts in Proceedings

Talks (upcoming and past)

Reviews for Mathematical Reviews (AMS) of the papers:

Other

Past Teaching

Events to attend/ recently attended

Favorite Links