Julian J. Schlöder Curriculum Vitae Wagenaarstraat 21 1093 CC Amsterdam T +49 176 61749445 B [email protected] Í http://jjsch.github.io Formal Education since 2014 PhD Student, Universiteit van Amsterdam / ILLC, Amsterdam. Area: Dialogue Modelling. Main supervisor: Raquel Fernández. 2013–2014 Master of Science in Logic, Universiteit van Amsterdam / ILLC, Amsterdam. Two-year graduate degree. Track: Logic & Language. I finished the programme within 10 months as a fast track student. Final average grade: 8.25. 2011–2013 Master of Science in Mathematics, Rheinische Friedrich-Wilhelms-Universität, Bonn. Two-year graduate degree. Major: Set Theory. Minor: Theoretical Philosophy. Final average grade: 1.0. 2008–2011 Bachelor of Science in Mathematics, Rheinische Friedrich-Wilhelms-Universität, Bonn. Three-year undergraduate degree. Major: Mathematical Logic. Minor: Computer Science. Final average grade: 1.5. 1999–2008 Abitur, Gymnasium Augustinianum, Greven. Final average grade: 1.2. Additional Education 2014 Summer School, University of Dundee, 1 Week. Argumentation theory from computational and linguistic perspectives. Various instructors. 2014 Summer Academy, Studienstiftung des deutschen Volkes, 2 Weeks. Simulation and Modelling. Instructors: Hans-Joachim Bungartz and Dirk Pflüger. 2013 Summer Academy, Studienstiftung des deutschen Volkes, 2 Weeks. Narratology and formalization of narratives. Instructor: Benedikt Löwe. 2013 Workshop, Young Set Theory Workshop, 1 Week. Tutorials in large cardinals, forcing, descriptive set theory and inner model theory by various instructors. I presented my work on Forcing with Minimal Counterexamples. 2012 Summer Academy, Studienstiftung des deutschen Volkes, 2 Weeks. Nonclassical logic, i.a., modal logic, temporal logic, epistemic logic and intuitionistic logic. Instructors: Martin Müller and Bernhard Möller. 2012 Summer School, University of California in Irvine, 2 Weeks. Inner Model Theory, Large Cardinals and Fine Structure Theory. Instructor: Martin Zeman. 2010 Internship, Rheinische Friedrich-Wilhelms-Universität, Bonn, 8 Weeks. Software development at the Naproche project (www.naproche.net), a natural language proof checking software. Theses 2014 M.Sc. Thesis, Uptake, Clarification and Argumentation, Advisor: Dr. Raquel Fernández. The thesis investigates the notions of uptake and grounding and derives from them a theory of conversational argument. The results are motivated by empirical corpus data. 2013 M.Sc. Thesis, Forcing Axioms through Iterations of Minimal Counterexamples, Advisor: Prof. Dr. Peter Koepke. The thesis introduces the LHMC (lottery sums of hereditarily minimal counterexamples) iterations, a novel variant of forcing iteration arguments used to derive models with forcing axioms from large cardinal hypotheses, e.g., MA, PFA or BPFA. 1/3 2011 B.Sc. Thesis, Formalizing the Gödel Completeness Theorem, Advisor: Prof. Dr. Peter Koepke. The thesis presents a formalized, machine-checkable proof of the Gödel Completeness Theorem stated for uncountable languages without identity and without function symbols. The proof is written in the Mizar System. Publications 2014 The Role of Polarity in Inferring Acceptance and Rejection in Dialogue. with Raquel Fernández, SIGDIAL 2014. 2012 The Gödel Completeness Theorem for Uncountable Languages. with Peter Koepke, Formalized Mathematics 20(3). 2012 Transition of Consistency and Satisfiability under Language Extensions. with Peter Koepke, Formalized Mathematics 20(3). Poster Presentations (not refereed) 2014 Clarification Requests at the Level of Uptake. with Raquel Fernández, SemDial 2014 (DialWatt). 2013 Forcing with Mimial Counterexamples. Young Set Theory Workshop 2013. Grants and Distinctions since 2014 Fellowship, ESSENCE Marie Curie Initial Training Network. Three-year PhD-fellowship. ESSENCE is an international research network on the topic of Shared Semantics. 2009–2014 Stipend, Studienstiftung des deutschen Volkes. The Studienstiftung awards stipends to roughly 0.5% of students in Germany. Initial induction in 2009; final induction in 2010 (endgültige Aufnahme). The stipend was renewed in 2013 to cover studies towards a second Master’s degree abroad. 2013 Distinction Degree, University of Bonn. The Master’s degree in Mathematics was awarded the distinction grade ausgezeichnet (excellent). 2008 Abiturpreis, Deutsche Mathematiker-Vereinigung (DMV). Awarded to Gymnasium graduates for exceptional achievements in Mathematics. Teaching W. 2014 Meaning, Reference and Modality, Assistant Lecturer, ILLC / Amsterdam. Lecturing; primary instructor: Paul Dekker. Graduate level course. W. 2014 Computational Semantics and Pragmatics, Teaching Assistant, ILLC / Amsterdam. Grading and lecturing; primary instructor: Raquel Fernández. Graduate level course. 2014–2015 Formal Mathematics, Guest Instructor, Scientific Seminar of the Studienstiftung des deutschen Volkes. Lecturing and lab supervision; primary instructor: Peter Koepke. S. 2013 Models of Set Theory 1, Tutor, University of Bonn. Grading and supplementary classes; primary instructor: Peter Koepke. Graduate level course. S. 2013 Intro C/C++, Tutor, University of Bonn. Exercise supervision; primary instructors: Lars Wallenborn and Jesko Hüttenhain. Undergradudate level course. W. 2012 Intro C/C++, Tutor, University of Bonn. Exercise supervision; primary instructors: Lars Wallenborn and Jesko Hüttenhain. Undergradudate level course. 2/3 W. 2012 Set Theory, Tutor, University of Bonn. Grading and supplementary classes; primary instructor: Peter Koepke. Undergraduate level course. S. 2012 Introduction to Mathematical Logic, Tutor, University of Bonn. Grading and supplementary classes; primary instructor: Peter Koepke. Undergradudate level course. Employment 2011–2013 Student Trainee, Umfragezentrum Bonn, Bonn. Administration of Linux-based server infrastructure. Programming with Python. The Umfragezentrum Bonn conducts empirical social research and evaluation for industry partners. 2011 Student Assistant, Hausdorff Center for Mathematics, Bonn. Software development at the Naproche project (www.naproche.net), a natural language proof checking software. Languages used: PROLOG, Java. 2008–2011 Student Assistant, Zentrum für Evaluation und Methoden (ZEM), Bonn. Development of online questionnaires and automated report generation software in Python. Administration of Linux- and Solaris-based server infrastructure. The ZEM conducts empirical research under the direction of the Institute for Psychology, University of Bonn. Amsterdam, November 19, 2014 Julian J. Schlöder 3/3