# Dr. Angeliki Koutsoukou-Argyraki

Wissenschaftliche Mitarbeiterin
Research Group Logic

Department of Mathematics
Schlossgartenstrasse 7
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

## 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.).

## 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).

## 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.

## Other

• 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.
• (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.

## Teaching

• 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).

# Kontakt

Fachbereich Mathematik
Arbeitsgruppe Logik

S2|15
Schloßgartenstraße 7

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

 Sekretariat Raum S2|15-206Betina Schubotz Öffnungszeiten:Mo. - Fr.  10:00-15:00

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

# So finden Sie uns:

Im Gebäude S2|15 im
Lageplan
der TUD,