Dr. Angeliki Koutsoukou-Argyraki

Wissenschaftliche Mitarbeiterin
Research Group Logic

Department of Mathematics
Technische Universität Darmstadt
Schlossgartenstrasse 7
D-64289 Darmstadt, Germany
koutsoukou [at] mathematik [dot] tu-darmstadt [dot] de
Tel.: (+49) 06151-16-21491 (Office)

Office Hours: Mon. 10:00-13:00, Thurs. 11:00-13:00


SINCE 1/10/2017 MOVED TO: the Computer Laboratory, University of Cambridge, UK. 

Research Interests

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.

My Erdös number is 4 (Erdös ->Magidor ->Bagaria ->Kohlenbach ->K.-A.).


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


Reviews for Mathematical Reviews (AMS) of the papers:

  • Leuştean, Laurenţiu and Nicolae, Adriana: Effective results on nonlinear ergodic averages in CAT $(\kappa)$ spaces. Ergodic Theory Dynam. Systems 36 (2016), no. 8, 2580--2601.
  • Sipoş, Andrei: Effective results on a fixed point algorithm for families of nonlinear mappings. Ann. Pure Appl. Logic 168 (2017), no. 1, 112--128.
  • Setzer, Anton : The use of trustworthy principles in a revised Hilbert's program. Gentzen's centenary, 45–60, Springer, Cham, 2015.
  • Leitsch, Alexander: On proof mining by cut-elimination. All about proofs, proofs for all, 173--200, Stud. Log. (Lond.), 55, Math. Logic Found., Coll. Publ., London, 2015.


  • Member of the organising committee of the conference ''PhDs in Logic VIII'' (TU Darmstadt, 9-11 May 2016).
  • Research stay at Waseda University, Tokyo, Japan (1/9/2014-10/3/2015) hosted by the Analysis Research group, in connection to the IRTG 1529 . During this time also very briefly visited the Sendai Logic group of Tohoku University and JAIST in Kanazawa.
  • Member of the Association for Symbolic Logic and of the DVMLG.
  • Doktorandentreff: (usually) every second Thursday, the PhD students of our logic research group hold a casual meeting to discuss current research or any fun topic in logic. This usually involves an afternoon social event/dinner followed by an evening informal blackboard presentation. Interested students (e.g. Master/visiting students) who would also like to be in the mailing list are most welcome to email me.


  • SoSe 2017: Teaching Assistant for Proof Theory
  • WiSe 2016-2017: Teaching Assistant for Complex Analysis (with Dr. Florian Steinberg) and Differential Equations (with Dr. Martin Saal).

Events to attend/ recently attended



Technische Universität Darmstadt
Fachbereich Mathematik
Arbeitsgruppe Logik

Schloßgartenstraße 7
64289 Darmstadt

Tel.: +49-(0)6151-1622863
Fax: +49-(0)6151-1622840


Raum S2|15-206
Betina Schubotz

Mo. - Fr.  10:00-15:00

« November 2018 »
Mo Di Mi Do Fr Sa So
44 1 2 3 4
45 5 6 7 8 9 10 11
46 12 13 14 15 16 17 18
47 19 20 21 22 23 24 25
48 26 27 28 29 30

Im Gebäude S2|15 im
der TUD,
Abschnitt Stadtmitte Nord,
oder unter Anreise.

A A A | Print Drucken | Impressum Impressum | Contact Kontakt
    zum Seitenanfangzum Seitenanfang