Lothar Sebastian Krapp Curriculum Vitae Address: FB Mathematik und Statistik, F410, Fach 196, 78457 Konstanz, Germany Telephone: +49 7531 88 2788 Email: sebastian.krapp@uni-konstanz.com Date of Birth: 08 March 1993 Nationality: German since October 2015 doctoral studies in Mathematics July 2015 MMath in Mathematics (Grade: First Class) July 2014 BA in Mathematics (Grade: First Class) July 2012 First Public Examinations: Honour Moderations (Grade: First Class) 2011 2015 Mansfield College, University of Oxford Course: Mathematics (MMath) June 2011 Abitur (Final grade: 1.0) 2008 2011 Technische Universität Braunschweig Course of studies for school students in Mathematics 2004 2011 Wilhelm-Gymnasium, Braunschweig focus on mathematics and natural sciences Personal Details Education Honours and Awards November 2016 Doctoral Scholarship of Studienstiftung des deutschen Volkes (German National Academic Foundation) July 2016 Scholarship of the Young Academics Support Programme of Carl-Zeiss- Stiftung (Carl Zeiss Foundation) May 2015 Bob Coates Prize 2015 for Bachelor s degree academic achievements February 2014 Scholarship of Studienstiftung des deutschen Volkes (German National Academic Foundation) October 2013 Principal s Prize for outstanding academic performance 2012 2015 Scholarship for excellent result in exams 2012 2013 four times Collection Prize for excellent performance in college-internal exams June 2011 Abiturpreis of Deutsche Physikalische Gesellschaft (Abitur prize of the German Physical Society) June 2011 Abiturpreis of Deutsche Mathematiker-Vereinigung (Abitur prize of the German Mathematical Society) 1
Voluntary Work October 2016 March 2018 since May 2016 since October 2015 April 2014 March 2015 April 2013 March 2014 April 2013 March 2014 Mathe Initiative Bodensee Organising and teaching a maths club for school students with weekly meeting. Ambassador Programme, Studienstiftung des deutschen Volkes Events in equality of opportunity and education. Mathewerkstatt, Providing subject-related help and guidance for first-year mathematics students in weekly sessions. President of the Oxford University German Society Coordination of the committee and leadership of the German Society of the University of Oxford. Secretary of the Oxford University German Society Various organisational tasks in the committe of the German Society of the University of Oxford. Committee of the Invariants Society Participation in the committee of the mathematics society of the University of Oxford, creating a weekly puzzle challenge. Projects since October 2015 March 2015 November 2014 January 2015 Doctoral Thesis, Fachbereich Mathematik und Statistik, Schwerpunkt Reelle Geometrie und Algebra Title: Algebraic and Model Theoretic Properties of o-minimal Exponential Fields Master s Thesis Mansfield College, University of Oxford Title: Schanuel s Conjecture and Exponential Fields Grade: 80 (First Class) Visitor of the research group Mathematical Logic, University of Freiburg Mathematisches Institut der Universität Freiburg, Abteilung für Mathematische Logik, eight weeks September 2014 Summer academy of Studienstiftung des deutschen Volkes (German National Academic Foundation) Sommerakademie Krakau, two weeks Working group: Wissenschaftliches Rechnen im Exascale-Zeitalter (scientific computing in the exascale era) 2
June 2014 August 2014 March 2014 Undergraduate Research Bursary of the London Mathematical Society Mathematical Institute, University of Oxford, eight weeks Title: Unoriented surfaces, Möbius graphs and Outer space Bachelor s Thesis Mansfield College, University of Oxford Title: Construction of the real numbers a set theoretical approach Grade: 77 (First Class) Seminar presentations 30 November 2018 Können Computer denken? ein Erfahrungsbericht aus Leysin Doktorandenforum Natur Studienstiftung des deutschen Volkes, Nürnberg 26 November 2018 Ordered fields dense in their real closure Oberseminar Mathematische Logik, Mengenlehre und Modelltheorie 26 October 2018 Schanuel s Conjecture and Roots of Exponential Polynomials Institutt for matematikk og statistikk Universitetet i Tromsø Norges arktiske universitet 23 August 2018 Können Computer denken? (fishbowl discussion with S. Koch and J. Roos) Sommerakademie Leysin Studienstiftung des deutschen Volkes, Leysin 04 June 2018 Real Exponentiation and Exponential Groups Fakultät für Informatik und Mathematik Universität Passau 15 May 2018 NIP, o-minimality and Neural Networks Oberseminar Mathematische Logik, Mengenlehre und Modelltheorie 29 March 2018 Value Groups and Residue Fields of Models of Real Exponentiation (poster) Workshop: Model Theory and Applications Institut Henri Poincaré, Sorbonne Université, Paris 06 March 2018 Algebraic and Model Theoretic Properties of O-minimal Exponential Fields (poster) Workshop: Model Theory of Valued Fields Institut Henri Poincaré, Sorbonne Université, Paris 02 February 2018 O-minimal Exponential Fields and Real Exponentiation Department of Mathematics and Computer Science Chulalongkorn University, Bangkok 08 January 2018 Algebraic and Model Theoretic Properties of O-minimal Exponential Fields (poster) Research School Model Theory, Combinatorics and Valued Fields Centre International de Rencontres Mathématiques, Marseille 10 November 2017 Von Tarski, exp und den reellen Zahlen Doktorandenforum Gesellschaft, Kultur und Natur Studienstiftung des deutschen Volkes, Heidelberg 3
12 October 2017 Ein Entscheidungsalgorithmus für (R, exp) (poster) 5. Stipendiatenkolloquim der Carl-Zeiss-Stiftung Carl Zeiss AG, Oberkochen 11 September 2017 Properties of O-minimal Exponential Fields 19th ÖMG Congress and Annual DMV Meeting Paris-Lodron-Universität Salzburg 06 July 2017 Tarski s Exponential Function Problem Logic Colloquium 28 April 2017 Konstruktive und nicht-konstruktive Beweise Logik zwischen Mathematik und Philosophie Georg-August-Universität Göttingen 05 April 2017 A Logical Analysis of Exponentiation Special Talk Ateneo de Manila University 23 March 2017 Das Entscheidbarkeitsproblem des reellen Exponentialkörpers Doktorandenforum Natur und Kultur Bad Homburg 17 January 2017 Non-archimedean Exponential Fields Basic Notions Seminar Universität Bonn 22 December 2016 O-minimal Exponential Fields and Their Residue Fields Mini-Workshop: Surreal Numbers, Surreal Analysis, Hahn Fields and Derivations Mathematisches Forschungsinstitut Oberwolfach 23 November 2016 Algebraic and Model Theoretic Properties of O-minimal Exponential Fields (poster) 4. Stipendiatenkolloquim der Carl-Zeiss-Stiftung SCHOTT AG, Mainz 20 June 2016 On the Decidability of the Real Exponential Field Research Seminar in Model Theory 23 November 2015 Ritt s Factorisation Theorem Research Seminar in Model Theory 10 December 2014 Schanuel s Conjecture and Exponential Fields Research Seminar in Mathematical Logic Albert-Ludwigs-Universität Freiburg Teaching Winter Semester 2018/2019 August 2018 Teaching Assistant Prof. Dr. Salma Kuhlmann, Real Algebraic Geometry Workshop Organiser Können Computer denken? Automatisches Beweisen und künstliche Intelligenz, two weeks Summer Academy Leysin, Studienstiftung des deutschen Volkes 4
Summer Semester 2018 Winter Semester 2017/2018 Summer Semester 2017 Winter Semester 2016/2017 Summer Semester 2016 Winter Semester 2015/2016 Winter Semester 2015/2016 Class Tutor Modelltheorie, weekly classes Lecturer Mathematical Economics DHBW Ravensburg Class Tutor Modelltheorie, weekly classes Course Assistant Dr. Maria Infusino, Proseminar on Linear Algebra Lecturer s Assistant and Head Tutor Prof. Dr. Salma Kuhlmann, Lineare Algebra II (B2) Class Tutor Algebra (B3), weekly classes Lecturer s Assistant and Head Tutor Jun.-Prof. Dr. Arno Fehm, Algebra (B3) Attended Conferences and Workshops 29 November Doktorandenforum Natur 02 December Nürnberg, Studienstiftung des deutschen Volkes 08 09 October 2018 Real Algebraic Geometry and Model Theory (co-organiser) 01 04 October 2018 Workshop on Tame Expansions of O-minimal Structures 12 25 August 2018 Können Computer denken? Automatisches Beweisen und künstliche Intelligenz Leysin, Studienstiftung des deutschen Volkes 29 July Begegnungen von Zahlentheorie, Funktionalanalysis und 11 August 2018 dynamischen Systemen Neubeuern, Studienstiftung des deutschen Volkes 13 July 2018 Donau Rhein Modelltheorie und Anwendungen Universität Basel 01 31 March 2018 Model Theory Trimester Institut Henri Poincaré, Sorbonne Université, Paris 08 12 January 2018 Research School Model Theory, Combinatorics and Valued Fields Centre International de Rencontres Mathématiques, Marseille 09 12 November 2017 Doktorandenforum Gesellschaft, Kultur und Natur 5
Heidelberg, Studienstiftung des deutschen Volkes 12 13 October 2017 Carl Zeiss Stipendiatentreffen Carl Zeiss, Oberkochen 11 15 September 2017 19th ÖMG Congress and Annual DMV Meeting Paris-Lodron-Universität Salzburg 12 May 2017 Donau Rhein Modelltheorie und Anwendungen (coorganiser) 28 30 April 2017 Logik zwischen Mathematik und Philosophie Georg-August-Universität Göttingen 20 23 March 2017 Doktorandenforum Natur und Kultur Bad Homburg, Studienstiftung des deutschen Volkes 18 23 December 2016 Mini-Workshop: Surreal Numbers, Surreal Analysis, Hahn Fields and Derivations Mathematisches Forschungsinstitut Oberwolfach 23 24 November 2016 Carl Zeiss Stipendiatentreffen SCHOTT AG, Mainz 18 23 July 2016 Summer School in Tame Geometry 05 06 July 2016 SEEMOD meeting University of Oxford 18 29 April 2016 Model Theory Month in Münster Westfälische Wilhelms-Universität in Münster 07 11 March 2016 Joint DMV and GAMM Annual Meeting 2016 Technische Universität Braunschweig Language Skills German English Italian Dutch (C2) (C2) (B1) (A2) 6