Dr. Angeliki KoutsoukouArgyraki
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/20169/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
 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 1619, 2018.
 "An invitation to proof mining: two applications in nonlinear operator theory"(18/8/2017), Logic Colloquium 2017, Stockholm, Sweden, Aug.1420, 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 2627, 2017.
 ''Proof mining: An ''effective'' program (even) for ineffective Mathematics'' (15/7/2017), 11th Panhellenic Logic Symposium, Delphi, Greece, July 1216, 2017.
 ''Automorphisms of the Calkin algebra under two different settheoretic 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 , RuhrUniversity Bochum, Germany, May 24, 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. 2729, 2015.
 ''Effective information for abstract Cauchy problems extracted via Proof Mining'' (8/10/2015), SPP 1506, IRTG 1529 and DFGJSPS Joint International Conference and Autumn School, Darmstadt, Germany, Oct. 58, 2015.
 ''Approximate common fixed points and rates of asymptotic regularity for oneparameter nonexpansive semigroups'' (20/7/2015), 11th International Conference on Fixed Point Theory and Applications, Istanbul, Turkey, July 2024, 2015.
 ''Approximate common fixed points and rates of asymptotic regularity for oneparameter 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 1115, 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. 26, 2015.
 ''ProofTheoretic 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. 1622, 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 2425, 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. 2628, 2014.
 ''Proof Theory and PDEs''(29/1/2014) ,IRTG 1529 Winter Seminar and Klausurtagung, Chalet Giersch, La Clusaz, France, Jan. 2731, 2014.
 "Automorphisms of the Calkin algebra under two different settheoretic hypotheses; An independence result" (21/6/2013), Logic Seminar, TU Darmstadt, Germany.
 "Automorphisms of the Calkin algebra under two different settheoretic 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:
 Sanders, Sam: The computational content of nonstandard analysis. Proceedings of the Sixth International Workshop on Classical Logic and Computation, 2440, Electron. Proc. Theor. Comput. Sci. (EPTCS), 2016.

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, 25802601.

Sipoş, Andrei: Effective results on a fixed point algorithm for families of nonlinear mappings. Ann. Pure Appl. Logic 168 (2017), no. 1, 112128.

Setzer, Anton : The use of trustworthy principles in a revised Hilbert's program. Gentzen's centenary, 4560, Springer, Cham, 2015.

Leitsch, Alexander: On proof mining by cutelimination. All about proofs, proofs for all, 173200, Stud. Log. (Lond.), 55, Math. Logic Found., Coll. Publ., London, 2015.
Other
Past Teaching
 At TU Darmstadt, Department of Mathematics:
SoSe 2017Teaching Assistant for Proof Theory, WiSe 20162017Teaching Assistant for Complex Analysis (with Dr. Florian Steinberg), Differential Equations (with Dr. Martin Saal).
 At the University of Copenhagen, Department of Mathematical Sciences:
Exercise classes for Mathematical Physics (2010, 2011), Latex (2011).
Events to attend/ recently attended
 North American Annual Meeting of the Association for Symbolic Logic, University of Western Illinois, Macomb, Illinois, USA, May 1619, 2018.
 Linear Algebra in Isabelle/HOL, University of La Rioja, Logroño, Spain, Nov. 1517, 2017.
 Autumn school "Proof and Computation", Herrsching, Germany, Sept. 2326th, 2017.
 Logic Colloquium 2017, Stockholm, Sweden, Aug.1420, 2017.
 Proof, Computation, Complexity 2017 Sixteenth International Workshop, Göttingen, Germany, July 2627, 2017.
 11th Panhellenic Logic Symposium, Delphi, Greece, July 1216, 2017.
 Computeraided mathematical proof , Isaac Newton Institute for Mathematical Sciences, Cambridge, UK, July 1014, 2017.
 PhDs in Logic IX , RuhrUniversity Bochum, Germany, May 24, 2017.
 Colloquium Logicum 2016, Hamburg, Germany, Sept. 1012, 2016.
 World Congress in Philosophy 2016 , Athens, Greece, July 915, 2016.
 PhDs in Logic VIII , TU Darmstadt, Germany, May 911, 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. 2729, 2015.
 SPP 1506, IRTG 1529 and DFGJSPS Joint International Conference and Autumn School, Darmstadt, Germany, Oct. 58, 2015.
 11th International Conference on Fixed Point Theory and Applications, Istanbul, Turkey, July 2024, 2015.
 Tenth International Conference on Computability, Complexity and Randomness, Heidelberg, Germany, June 2226, 2015.
 10th Panhellenic Logic Symposium , Samos, Greece, June 1115, 2015.
 PhDs in Logic VII, Vienna, Austria, May 1416, 2015.
 JSPSNUS Joint Workshop in Mathematical Logic and Foundations of Mathematics, Kanazawa, Japan, Mar. 68, 2015.
 Constructivism and Computability, JAIST Logic Workshop Series, Kanazawa, Japan, Mar. 26, 2015.
 RIMS Workshop on Proof Theory, Computation Theory and Related Topics , Kyoto, Japan, Dec. 2426, 2014.
 Oberwolfach Workshop on Mathematical Logic: Proof Theory, Constructive Mathematics, Mathematical Research Institute Oberwolfach, Nov. 1622, 2014.
 Eleventh International Conference on Computability and Complexity in Analysis, TU Darmstadt, Germany, July 2124, 2014.
 PhDs in Logic VI, Utrecht, the Netherlands, April 2425, 2014.
 IRTG 1529 Research Seminar "Proof Mining and Nonlinear Analysis", TU Darmstadt, Germany, Feb. 2628, 2014.
 IRTG 1529 Winter Seminar and Klausurtagung, Chalet Giersch, La Clusaz, France, Jan. 2731, 2014.
 9th Panhellenic Logic Symposium , Athens, Greece, July 1518, 2013.
 6th Young Set Theory Workshop, Santuario di Oropa, Italy, June 1014, 2013.
 Workshop on Modal Logic: Modality and Modalities, Roskilde University, Denmark, May 2324, 2013.
 Workshop on Intensionality in Mathematics, Filosofiska Institutionen, Lund, Sweden, May 1112, 2013.
 Workshop on Applications to Operator Algebras, The Fields Institute for Research in Mathematical Sciences, Toronto, Canada, Sept. 1014, 2012.
 Appalachian Set Theory Workshop on C* algebras, Classification and Descriptive Set Theory, The Fields Institute for Research in Mathematical Sciences, Toronto, Canada, Sept. 89, 2012.
 8th Scandinavian Logic Symposium, Roskilde University, Denmark, Aug. 2021, 2012.
 Asian Initiative for Infinity (AII) Graduate Summer School, Institute for Mathematical Sciences (IMS), National University of Singapore, June 20July 17, 2012.
Favorite Links