About

Photo of Natalie Clarius

I am a master's student and software developer.

Currently I work as a hardware integrator for KDE while finishing my degree at University of Tübingen, Germany.

My main interests are in

  • the computational implementation of logical formalisms, in particular the tableau calculus and modal logic,
  • automation of routine processes, with a focus on administrative tasks in academic education, and
  • workflow improvements in desktop Linux, my specialty being window management and global search in the KDE Plasma desktop environment.

I have a passion and 12 semesters of experience in teaching logic, linguistics and programming.

I am available for contract work. If you are interested in my software development or tutoring, don't hesitate to get in touch.

CV

Work

04/2023 – present
Hardware Integrator KDE e.V.

Software development and coordination in KDE and fd.o focused on better integration of the Plasma desktop environment with vendor partners' hardware products, esp. input device controls and power management

05/2022 – present (periodically)
Software Developer Freelancer

Extension of KDE software to end users' requirements

07/2014 – 09/2022 (periodically)
Research Assistant University of Tübingen - Department of Linguistics, Department of Computer Science, and Department of Philosophy and History of Science

Software development, data acquisition and evaluation, experiment conduction, typesetting, and organizational tasks

10/2015 – 03/2021
Teaching Assistant University of Tübingen - Department of Linguistics and Department of Computer Science; and University of Göttingen - Faculty of Mathematics and Computer Science

Lectures and tutorials in the undergraduate and graduate study programs in General Linguistics, Computational Linguistics and Computer Science

Education

2016 – present
Master's studies University of Tübingen
2013 – 2016
Bachelor's degree University of Tübingen

A full resume is available upon request.

Teaching

Lectures

Winter term 2020 Introduction to General Linguistics (jointly with Isabella Boga)¹
(Supervised preparation and conduction of a number of class sessions)
Winter term 2019 Logic (jointly with Prof. Dr. Gerhard Jäger)¹
(Supervised preparation and conduction of a number of class sessions)

Seminars

Summer term 2021 Selected Topics in Formal Semantics (jointly with Prof. Dr. Gerhard Jäger)¹
(Supervised preparation and conduction of a number of class sessions)

Compact courses

10/09/2024 Introduction to Version Control with git
(Workshop at the annual world summit of KDE)
Summer term 2017 Introduction to Logic Programming with Prolog
(Independently taught compact course accompanying the Grammar Formalisms tutorial)¹

Tutorials

Summer term 2020 Gödel's Incompleteness Theorems (Prof. Dr. Reinhard Kahle)⁴
Summer term 2020 Introduction to Logic (in German; Dr. Thomas Piecha)²
Winter term 2019 Logic (Prof. Dr. Gerhard Jäger)¹
Summer term 2019 Programming and Data Analysis (Prof. Dr. Gerhard Jäger)¹
Summer term 2019 Production and Interpretation of Referring Expressions (Dr. Oliver Bott)¹
Winter term 2018 Lambda Calculus and Combinatory Logic (Dr. Thomas Piecha)²
Winter term 2018 Linear Algebra for Linguistics (Prof. Dr. Fritz Hamm)¹
Winter term 2018 Introduction to General Linguistics (Johannes Wahle & Dr. Oliver Bott)¹
Summer term 2018 Theoretical Foundations of Logic Programming (in German; Dr. Thomas Piecha)²
Summer term 2018 Programming and Data Analysis (Dr. Johannes Dellert)¹
Summer term 2018 Semantics and Pragmatics (Prof. Dr. Fritz Hamm)¹
Winter term 2017 Lambda Calculus and Combinatory Logic (Dr. Thomas Piecha)²
Winter term 2017 Syntax and Semantics (Prof. Dr. Fritz Hamm)¹
Winter term 2017 Current Trends in Linguistics (Johannes Wahle & Marisa Köllner)¹
Winter term 2017 Introduction to General Linguistics (Johannes Wahle & Marisa Köllner)¹
Summer term 2017 Grammar Formalisms for Computational Linguistics (Prof. Dr. Kurt Eberle)¹
Summer term 2017 Semantics and Pragmatics (Prof. Dr. Fritz Hamm)¹
Winter term 2016 Syntax and Semantics (Prof. Dr. Fritz Hamm)¹
Winter term 2016 Current Trends in Linguistics (Prof. Dr. Gerhard Jäger)¹
Winter term 2016 Introduction to General Linguistics (Johannes Wahle & Marisa Köllner)¹
Summer term 2016 Pragmatics (Dr. Christian Ebert)¹
Winter term 2015 Semantics (Prof. Dr. Wolfgang Sternefeld)¹
Winter term 2015 Introduction to General Linguistics (Dr. Christian Ebert, Johannes Wahle & Marisa Köllner)¹

Talks

07/09/2024 Current Developments in Hardware Integration on Plasma
(Contributed talk at the annual world summit of KDE)
18/11/2020 (Contributed talk at the Carl Friedrich von Weizsäcker Colloquium)

Posts

2016 – present
Selected articles:
09/08/2019 Why should we care about syntactic proofs?
01/03/2020 What's the point of type theory?
31/03/2019 How to show that a derivation does not exist?
25/08/2019 What's the difference between ⊢ and ⊨?
03/06/2020 And how to prove that they are ⟺?
18/08/2020 What makes a logic strong?
31/03/2023 What's the intuition behind inuitionism?
03/03/2019 Isn't predicate logic = model theory?
27/08/2020 What's the difference between the different meanings of "meaning"?

¹ University of Tübingen, Department of Linguistics
² University of Tübingen, Department of Computer Science
³ University of Tübingen, Carl Friedrich von Weizsäcker Center for Foundational Research
⁴ University of Göttingen, Faculty of Mathematics and Computer Science

All courses taught in English unless specified otherwise

Software

Web Development

Contact

forum Languages German, English
pin_drop Address Room 3.2
Carl Friedrich von Weizsäcker Center
University of Tübingen
Doblerstraße 33
72074 Tübingen, Germany
schedule Office Hours By appointment
call Telephone +49-7071-71614
mail E-Mail (academia) natalie.clariusnull@student.uni-tuebingen.de
mail E-Mail (software) natalie_clarius@yahoo.de
public Web
savings Tip jar