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
****LINK TO NEW WEBPAGE****
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.).
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
- Invited speaker (special session on proof theory) at the North American Annual Meeting of the Association for Symbolic Logic, University of Western Illinois, Macomb, Illinois, USA, May 16-19, 2018.
- "An invitation to proof mining: two applications in nonlinear operator theory"(18/8/2017), Logic Colloquium 2017, Stockholm, Sweden, Aug.14-20, 2017.
- ''Proof Mining for the Fixed Point Theory of Nonexpansive Semigroups''(27/7/2017), Proof, Computation, Complexity 2017 Sixteenth International Workshop, Göttingen, Germany, July 26-27, 2017.
- ''Proof mining: An ''effective'' program (even) for ineffective Mathematics'' (15/7/2017), 11th Panhellenic Logic Symposium, Delphi, Greece, July 12-16, 2017.
- ''Automorphisms of the Calkin algebra under two different set-theoretic hypotheses: an independence result'' (17/5/2017) C*-algebras/Didactics Seminar, TU Darmstadt, Germany.
- ''Proof Mining for Nonexpansive Semigroups'' (4/5/2017), PhDs in Logic IX , Ruhr-University Bochum, Germany, May 2-4, 2017.
- PhD thesis defense: ''Proof Mining for Nonlinear Operator Theory: Four Case Studies on Accretive Operators, the Cauchy Problem and Nonexpansive Semigroups'' (21/12/2016), TU Darmstadt, Germany.
- "New effective bounds for the approximate common fixed points and asymptotic regularity of nonexpansive semigroups " (19/4/2016), IRTG 1529 Seminar, TU Darmstadt, Germany.
- "New Applications of Proof Mining to Nonlinear Analysis" (29/11/2015), General Proof Theory: Celebrating 50 Years of Dag Prawitz's "Natural Deduction", Tübingen, Germany, Nov. 27-29, 2015.
- ''Effective information for abstract Cauchy problems extracted via Proof Mining'' (8/10/2015), SPP 1506, IRTG 1529 and DFG-JSPS Joint International Conference and Autumn School, Darmstadt, Germany, Oct. 5-8, 2015.
- ''Approximate common fixed points and rates of asymptotic regularity for one-parameter nonexpansive semigroups'' (20/7/2015), 11th International Conference on Fixed Point Theory and Applications, Istanbul, Turkey, July 20-24, 2015.
- ''Approximate common fixed points and rates of asymptotic regularity for one-parameter nonexpansive semigroups'' (17/7/2015), Logic Seminar, TU Darmstadt, Germany.
- ''Recent proof mining results for PDE theory and fixed point theory and other ongoing applications of proof theory to analysis'', (15/6/2015), Poster presentation, 10th Panhellenic Logic Symposium , Samos, Greece, June 11-15, 2015.
- ''Proof mining and nonlinear semigroups'' (9/6/2015), IRTG 1529 Seminar, TU Darmstadt, Germany.
- ''First application of proof mining to partial differential equations; rates of convergence and metastability for abstract Cauchy problems generated by accretive operators''(3/3/2015), Constructivism and Computability, JAIST Logic Workshop Series, Kanazawa, Japan, Mar. 2-6, 2015.
- ''Proof-Theoretic Methods in Nonlinear Analysis, Part 4; rates of convergence and metastability for abstract Cauchy problems generated by accretive operators''(20/11/2014), Oberwolfach Workshop on Mathematical Logic: Proof Theory, Constructive Mathematics, Mathematical Research Institute Oberwolfach, Nov. 16-22, 2014.
- ''Proof mining and partial differential equations; rates of convergence and metastability for abstract Cauchy problems generated by accretive operators''(7/11/2014), the Sendai Logic Seminar , Tohoku University, Japan.
- ''Proof mining and partial differential equations''(25/4/2014), PhDs in Logic VI, Utrecht, the Netherlands, April 24-25, 2014.
- ''Proof mining for Cauchy problems generated by accretive operators''(27/2/2014), IRTG 1529 Research Seminar "Proof Mining and Nonlinear Analysis", TU Darmstadt, Germany, Feb. 26-28, 2014.
- ''Proof Theory and PDEs''(29/1/2014) ,IRTG 1529 Winter Seminar and Klausurtagung, Chalet Giersch, La Clusaz, France, Jan. 27-31, 2014.
- "Automorphisms of the Calkin algebra under two different set-theoretic hypotheses; An independence result" (21/6/2013), Logic Seminar, TU Darmstadt, Germany.
- "Automorphisms of the Calkin algebra under two different set-theoretic hypotheses; An independence result"(18/12/2012), Master Thesis Defense, Department of Mathematics, University of Copenhagen, Denmark.
- "Under Todorcevic's Axiom, all the automorphisms of the Calkin algebra are inner, I, II, III" (15, 22, 29/11/2012), Set Theory and Applications Seminar, University of Copenhagen, Denmark.
- "Under CH, the Calkin algebra has outer automorphisms "(3/10/2012), Set Theory and Applications Seminar, University of Copenhagen, Denmark.
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.
- 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.
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).
Events to attend/ recently attended
- North American Annual Meeting of the Association for Symbolic Logic, University of Western Illinois, Macomb, Illinois, USA, May 16-19, 2018.
- Autumn school "Proof and Computation", Herrsching, Germany, Sept. 23-26th, 2017.
- Logic Colloquium 2017, Stockholm, Sweden, Aug.14-20, 2017.
- Proof, Computation, Complexity 2017 Sixteenth International Workshop, Göttingen, Germany, July 26-27, 2017.
- 11th Panhellenic Logic Symposium, Delphi, Greece, July 12-16, 2017.
- Computer-aided mathematical proof , Isaac Newton Institute for Mathematical Sciences, Cambridge, UK, July 10-14, 2017.
- PhDs in Logic IX , Ruhr-University Bochum, Germany, May 2-4, 2017.
- Colloquium Logicum 2016, Hamburg, Germany, Sept. 10-12, 2016.
- World Congress in Philosophy 2016 , Athens, Greece, July 9-15, 2016.
- PhDs in Logic VIII , TU Darmstadt, Germany, May 9-11, 2016.
- Winter School in Abstract Analysis 2016, Section Set Theory and Topology , Hejnice, Czech Republic, Jan. 30 - Feb. 6, 2016.
- General Proof Theory: Celebrating 50 Years of Dag Prawitz's "Natural Deduction" ,Tübingen, Germany, Nov. 27-29, 2015.
- SPP 1506, IRTG 1529 and DFG-JSPS Joint International Conference and Autumn School, Darmstadt, Germany, Oct. 5-8, 2015.
- 11th International Conference on Fixed Point Theory and Applications, Istanbul, Turkey, July 20-24, 2015.
- Tenth International Conference on Computability, Complexity and Randomness, Heidelberg, Germany, June 22-26, 2015.
- 10th Panhellenic Logic Symposium , Samos, Greece, June 11-15, 2015.
- PhDs in Logic VII, Vienna, Austria, May 14-16, 2015.
- JSPS-NUS Joint Workshop in Mathematical Logic and Foundations of Mathematics, Kanazawa, Japan, Mar. 6-8, 2015.
- Constructivism and Computability, JAIST Logic Workshop Series, Kanazawa, Japan, Mar. 2-6, 2015.
- RIMS Workshop on Proof Theory, Computation Theory and Related Topics , Kyoto, Japan, Dec. 24-26, 2014.
- Oberwolfach Workshop on Mathematical Logic: Proof Theory, Constructive Mathematics, Mathematical Research Institute Oberwolfach, Nov. 16-22, 2014.
- Eleventh International Conference on Computability and Complexity in Analysis, TU Darmstadt, Germany, July 21-24, 2014.
- PhDs in Logic VI, Utrecht, the Netherlands, April 24-25, 2014.
- IRTG 1529 Research Seminar "Proof Mining and Nonlinear Analysis", TU Darmstadt, Germany, Feb. 26-28, 2014.
- IRTG 1529 Winter Seminar and Klausurtagung, Chalet Giersch, La Clusaz, France, Jan. 27-31, 2014.
- 9th Panhellenic Logic Symposium , Athens, Greece, July 15-18, 2013.
- 6th Young Set Theory Workshop, Santuario di Oropa, Italy, June 10-14, 2013.
- Workshop on Modal Logic: Modality and Modalities, Roskilde University, Denmark, May 23-24, 2013.
- Workshop on Intensionality in Mathematics, Filosofiska Institutionen, Lund, Sweden, May 11-12, 2013.
- Workshop on Applications to Operator Algebras, The Fields Institute for Research in Mathematical Sciences, Toronto, Canada, Sept. 10-14, 2012.
- Appalachian Set Theory Workshop on C*- algebras, Classification and Descriptive Set Theory, The Fields Institute for Research in Mathematical Sciences, Toronto, Canada, Sept. 8-9, 2012.
- 8th Scandinavian Logic Symposium, Roskilde University, Denmark, Aug. 20-21, 2012.
- Asian Initiative for Infinity (AII) Graduate Summer School, Institute for Mathematical Sciences (IMS), National University of Singapore, June 20-July 17, 2012.