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 of 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
Department of Mathematics
Logic Group

Schloßgartenstraße 7
64289 Darmstadt

Phone: +49-(0)6151-1622863
Fax:     +49-(0)6151-1622840


Secretary's office
Betina Schubotz

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


« October 2017 »
Mo Tu We Th Fr Sa Su
39 1
40 2 3 4 5 6 7 8
41 9 10 11 12 13 14 15
42 16 17 18 19 20 21 22
43 23 24 25 26 27 28 29
44 30 31
A A A | Print Print | Impressum Legal note | Contact Contact
    zum Seitenanfangzum Seitenanfang