Dr. Angeliki Koutsoukou-Argyraki

           

Research Associate

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 Program 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 Research 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.).

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 (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.), Department of Mathematics , Technische Universität Darmstadt. 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

Submitted Preprints

Abstracts in Proceedings

Talks

Reviews for Mathematical Reviews (AMS) of the papers:

Other

Past Teaching

Events to attend/ recently attended

Favorite Links