Fakultät für Philosophie, Wissenschaftstheorie
Lehrstuhl für Wissenschaftstheorie
- CV, Liefke Kristina (Nov 2016) (280 KByte)
Kristina Liefke earned an M.A. in philosophy and English linguistics from Christiania Albertina University at Kiel (Germany) in 2009, and obtained a PhD in philosophy from Tilburg University (the Netherlands) in 2014. Since 2014, Kristina has been a postdoctoral fellow at the MCMP at LMU Munich. Since 2015, she is PI of the MCMP-based project “Unity and Unification in Intensional Semantics”, which is funded by the German Research Foundation, DFG.
Kristina’s research lies at the intersection of philosophy, linguistics, logic, and theoretical computer science. In particular, her research focuses on
- philosophy of linguistics (esp. the ontology of formal semantics, type-logical semantics, natural language metaphysics)
- philosophy of language (intensionality, partial semantic information, reference)
- logic (type theory, the lambda calculus, partial and intensional logics)
- philosophy of science (intertheoretic and inter-model relations; esp. inter-model reduction)
Kristina's dissertation investigates a topic in the (onto-)logical foundations of formal semantics for natural language. Her current DFG project examines the relations between different formal semantic models for certain fragments of English. Kristina recently developed an interest in evidence in linguistics (esp. in linguistic semantics) and in the naturalness of formal semantic theories (w.r.t. their choice of primitives and their computational power).
In 2014, Kristina was awarded a two-year DFG grant for her project “Unity and Unification in Intensional Semantics”. The project involves collaborations with Stanford University and with Ochanomizu University (Tokyo).
Awards and Fellowships
- Fall 2014: Postdoctoral grant from the Bayerische Gleichstellungsförderung, BGF.
- Since January 2013: Mentee of the LMU Mentoring program (the program supports highly qualified young female researchers in their academic career on the road to professorship. The program is part of LMU’s Excellence Initiative LMU Excellent).
- 2009–2014: Merit award for doctoral studies at the University of Southern California Department of Philosophy (declined).
- 2009–2012: International grant for doctoral studies at the Utrecht Institute of Linguistics, Utrecht, The Netherlands (declined).
- 2009–2010: German Academic Exchange Service (DAAD) grant for doctoral studies at the Institute for Logic, Language and Computation, Amsterdam, The Netherlands (declined).
- Oct.—Dec. 2007: DAAD grant for MA thesis-related research at the UMass, Amherst and the Harvard Linguistics Departments.
- 2005–2006: Graduate fellowship (for UCLA) from the University of California at Berkeley.
- 2005–2006: DAAD grant for studies at the UCLA Department of Philosophy.
Organization of Conferences and Workshops
- 2nd Summer School on Mathematical Philosophy for Female Students (July 26—Aug. 1, 2015), MCMP, Munich (with Catherine Herfeld and Milena Ivanova).
- 1st Summer School on Mathematical Philosophy for Female Students (August 2014), MCMP, Munich (with Stephan Hartmann, Catherine Herfeld, and Hannes Leitgeb).
- Conference on Computing Natural Reasoning (CoCoNat; December 2011), TiLPS, Tilburg University (with Dominik Klein, Reinhard Muskens, Eric Pacuit, and Sara Uckelman).
- The 3rd Sydney-Tilburg Conference: The Future of Philosophy of Science (April 2010), TiLPS, Tilburg University (with Stephan Hartmann, Chiara Lisciandra, and Jan Sprenger).
Codability and Robustness in Formal Natural Language Semantics
In: Lecture Notes in Artificial Intelligence
Montague Reduction, Confirmation, and the Syntax-Semantics Relation
Solving Partee’s Temperature Puzzle in an EFL-Ontology
Second Workshop on Natural Language and Computer Science & First International Workshop on Natural Language Services for Reasoners, July 17-18, Vienna, Austria
A Single-Type Semantics for Natural Language
Dissertation, Tilburg University: Center for Logic and Philosophy of Science
A Single-Type Semantics for the PTQ*-Fragment
Sinn und Bedeutung 18, September 11-13, Vitoria-Gasteiz, Basque
A Single-type Logic for Natural Language
In: Journal of Logic and Computation