About

Photo of Natalie Clarius

I am a master's student, software developer and teacher.

Currently I work as a software engineer on KDE and as a vocational trainer for information technology while completing my degree at University of Tübingen, Germany.

My main interests are in

  • the computational implementation of logical formalisms, in particular at the intersection between the tableau calculus, modal logic and type theory,
  • teaching methodology in mathematics and computer programming,
  • automation of routine processes, with a focus on administrative tasks in academia, and
  • workflow improvements in desktop Linux, my specialty being hardware interfaces, window management and global search in the KDE Plasma desktop environment.

I have a passion and 14 semesters of experience in teaching logic, linguistics and computer science.

I am open to freelance work and project funding. If you are interested in my software development or teaching, feel free to support my work or get in touch.

CV

Work

05/2025 – present
Software Engineer KDE, project grant by NLnet

Implementation of customizable touchpad and mouse gesture input in the KDE Plasma desktop environment

11/2024 – present
Vocational Teacher ABA Ausbildungs- und Berufsförderungsstätte Albstadt e.V.

Remedial classes for trainee IT specialists in application development or system integration
(“Dozent für Auszubildende im Beruf Fachinformatiker der Fachrichtungen Anwendungsentwicklung und Systemintegration”)

07/2014 – present (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

02/2025 – 05/2025
Software Developer Value AG

Development of software for information and analysis on real estate market data

04/2023 – 12/2024
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. power management and input device controls

05/2022 – 06/2022
Software Developer Freelancer

Extension of KDE software to end users' requirements

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 – 2018 and 2024 – present
Master's studies University of Tübingen
2013 – 2016
Bachelor's degree University of Tübingen

Volunteering

2023 – present
Association Member KDE e.V.
2022 – present
Software Developer KDE and other FOSS projects
2016 – present
Content Contributor Stack Exchange
2024 – 2024
Technical Trainer Akademy
2017 – 2021
Community Moderator Linguistics Stack Exchange
2011 – 2013
Student Tutor Otto-Hahn-Gymnasium Böblingen

A full resume is available upon request.

Academia

Teaching

Summer term 2026 Application Development and System Integration Tutorial, vocational level, Ausbildungs- und Berufs­förderungsstätte Albstadt dein German Tut.Tutorial Voc.Vocational school level ABAAusbildungs- und Berufs­förderungsstätte Albstadt e.V. (vocational training institution)
Winter term 2025 Application Development and System Integration Tutorial, vocational level, Ausbildungs- und Berufs­förderungsstätte Albstadt dein German Tut.Tutorial Voc.Vocational school level ABAAusbildungs- und Berufs­förderungsstätte Albstadt e.V. (vocational training institution)
Winter term 2025 Economics Tutorial, vocational level, Ausbildungs- und Berufs­förderungsstätte Albstadt dein German Tut.Tutorial Voc.Vocational school level ABAAusbildungs- und Berufs­förderungsstätte Albstadt e.V. (vocational training institution)
Winter term 2025 Application Development Tutorial, vocational level, Ausbildungs- und Berufs­förderungsstätte Albstadt dein German Tut.Tutorial Voc.Vocational school level ABAAusbildungs- und Berufs­förderungsstätte Albstadt e.V. (vocational training institution)
Summer term 2025 Application Development Tutorial, vocational level, Ausbildungs- und Berufs­förderungsstätte Albstadt dein German Tut.Tutorial Voc.Vocational school level ABAAusbildungs- und Berufs­förderungsstätte Albstadt e.V. (vocational training institution)
Winter term 2024 Application Development Tutorial, vocational level, Ausbildungs- und Berufs­förderungsstätte Albstadt dein German Tut.Tutorial Voc.Vocational school level ABAAusbildungs- und Berufs­förderungsstätte Albstadt e.V. (vocational training institution)
Annual summit 2024 Introduction to Version Control with git Workshop at the annual world summit, beginner level, KDE enin English Cmp.Workshop at the annual world summit Beg.Beginner level KDEKDE (software community)
Summer term 2021 Selected Topics in Formal Semantics Seminar (supervised preperation and conduction of some sessions), graduate level, University of Tübingen, Department of Linguistics enin English Sem.*Seminar (supervised preperation and conduction of some sessions) Grad.Graduate level SFSUniversity of Tübingen, Department of Linguistics
Winter term 2020 Introduction to General Linguistics Lecture (supervised preperation and conduction of some sessions), undergraduate level, University of Tübingen, Department of Linguistics enin English Lect.*Lecture (supervised preperation and conduction of some sessions) Und.Undergraduate level SFSUniversity of Tübingen, Department of Linguistics
Summer term 2020 Gödel's Incompleteness Theorems Tutorial, graudate level, University of Göttingen, Factulty of Mathematics and Computer Science enin English Tut.Tutorial Grad.Graduate level FMIUniversity of Göttingen, Faculty of Mathematics and Computer Science
Summer term 2020 Introduction to Logic Tutorial, undergraudate level, University of Tübingen, Department of Computer Science dein German Tut.Tutorial Und.Undergraduate level WSIUniversity of Tübingen, Department of Computer Science
Winter term 2019 Mathematical Methods: Logic Lecture (supervised preperation and conduction of some sessions), undergraduate level, University of Tübingen, Department of Linguistics enin English Lect.*Lecture (supervised preperation and conduction of some sessions) Und.Undergraduate level SFSUniversity of Tübingen, Department of Linguistics
Winter term 2019 Mathematical Methods: Logic Tutorial, undergraudate level, University of Tübingen, Department of Linguistics enin English Tut.Tutorial Und.Undergraduate level SFSUniversity of Tübingen, Department of Linguistics
Summer term 2019 Programming and Data Analysis Tutorial, undergraudate level, University of Tübingen, Department of Linguistics enin English Tut.Tutorial Und.Undergraduate level SFSUniversity of Tübingen, Department of Linguistics
Summer term 2019 Production and Interpretation of Referring Expressions Tutorial, undergraudate level, University of Tübingen, Department of Linguistics enin English Tut.Tutorial Und.Undergraduate level SFSUniversity of Tübingen, Department of Linguistics
Winter term 2018 Lambda Calculus and Combinatory Logic Tutorial, graudate level, University of Tübingen, Department of Computer Science enin English Tut.Tutorial Grad.Undergraduate level WSIUniversity of Tübingen, Department of Computer Science
Winter term 2018 Linear Algebra for Linguistics Tutorial, undergraudate level, University of Tübingen, Department of Linguistics enin English Tut.Tutorial Und.Undergraduate level SFSUniversity of Tübingen, Department of Linguistics
Winter term 2018 Introduction to General Linguistics Tutorial, undergraudate level, University of Tübingen, Department of Linguistics enin English Tut.Tutorial Und.Undergraduate level SFSUniversity of Tübingen, Department of Linguistics
Summer term 2018 Theoretical Foundations of Logic Programming Tutorial, graudate level, University of Tübingen, Department of Computer Science dein German Tut.Tutorial Grad.Graduate level WSIUniversity of Tübingen, Department of Computer Science
Summer term 2018 Programming and Data Analysis Tutorial, undergraudate level, University of Tübingen, Department of Linguistics enin English Tut.Tutorial Und.Undergraduate level SFSUniversity of Tübingen, Department of Linguistics
Summer term 2018 Semantics and Pragmatics Tutorial, undergraudate level, University of Tübingen, Department of Linguistics enin English Tut.Tutorial Und.Undergraduate level SFSUniversity of Tübingen, Department of Linguistics
Winter term 2017 Lambda Calculus and Combinatory Logic Tutorial, graudate level, University of Tübingen, Department of Computer Science enin English Tut.Tutorial Grad.Graduate level WSIUniversity of Tübingen, Department of Computer Science
Winter term 2017 Syntax and Semantics Tutorial, undergraudate level, University of Tübingen, Department of Linguistics enin English Tut.Tutorial Und.Undergraduate level SFSUniversity of Tübingen, Department of Linguistics
Winter term 2017 Current Trends in Linguistics Tutorial, undergraudate level, University of Tübingen, Department of Linguistics enin English Tut.Tutorial Und.Undergraduate level SFSUniversity of Tübingen, Department of Linguistics
Winter term 2017 Introduction to General Linguistics Tutorial, undergraudate level, University of Tübingen, Department of Linguistics enin English Tut.Tutorial Und.Undergraduate level SFSUniversity of Tübingen, Department of Linguistics
Summer term 2017 Grammar Formalisms for Computational Linguistics Tutorial, undergraudate level, University of Tübingen, Department of Linguistics enin English Tut.Tutorial Und.Undergraduate level SFSUniversity of Tübingen, Department of Linguistics
Summer term 2017 Introduction to Logic Programming with Prolog Independently taught compact course accompanying a tutorial, undergraudate level, University of Tübingen, Department of Linguistics enin English Cmp.Independently taught compact course accompanying a tutorial Und.Undergraduate level SFSUniversity of Tübingen, Department of Linguistics
Summer term 2017 Semantics and Pragmatics Tutorial, undergraudate level, University of Tübingen, Department of Linguistics enin English Tut.Tutorial Und.Undergraduate level SFSUniversity of Tübingen, Department of Linguistics
Winter term 2016 Syntax and Semantics Tutorial, undergraudate level, University of Tübingen, Department of Linguistics enin English Tut.Tutorial Und.Undergraduate level SFSUniversity of Tübingen, Department of Linguistics
Winter term 2016 Current Trends in Linguistics Tutorial, undergraudate level, University of Tübingen, Department of Linguistics enin English Tut.Tutorial Und.Undergraduate level SFSUniversity of Tübingen, Department of Linguistics
Winter term 2016 Introduction to General Linguistics Tutorial, undergraudate level, University of Tübingen, Department of Linguistics enin English Tut.Tutorial Und.Undergraduate level SFSUniversity of Tübingen, Department of Linguistics
Summer term 2016 Pragmatics Tutorial, undergraudate level, University of Tübingen, Department of Linguistics enin English Tut.Tutorial Und.Undergraduate level SFSUniversity of Tübingen, Department of Linguistics
Winter term 2015 Semantics Tutorial, undergraudate level, University of Tübingen, Department of Linguistics enin English Tut.Tutorial Und.Undergraduate level SFSUniversity of Tübingen, Department of Linguistics
Winter term 2015 Introduction to General Linguistics Tutorial, undergraudate level, University of Tübingen, Department of Linguistics enin English Tut.Tutorial Und.Undergraduate level SFSUniversity of Tübingen, Department of Linguistics
Summer term 2013 General Homework Assistance Tutorial, middle school level, Otto-Hahn-Gymnasium Böblingen dein German Tut.Tutorial Mdl.Middle school level OHGOtto-Hahn-Gymnasium Böblingen (middle/high school)
Winter term 2012 General Homework Assistance Tutorial, middle school level, Otto-Hahn-Gymnasium Böblingen dein German Tut.Tutorial Mdl.Middle school level OHGOtto-Hahn-Gymnasium Böblingen (middle/high school)
Summer term 2012 General Homework Assistance Tutorial, middle school level, Otto-Hahn-Gymnasium Böblingen dein German Tut.Tutorial Mdl.Middle school level OHGOtto-Hahn-Gymnasium Böblingen (middle/high school)
Winter term 2011 General Homework Assistance Tutorial, middle school level, Otto-Hahn-Gymnasium Böblingen dein German Tut.Tutorial Mdl.Middle school level OHGOtto-Hahn-Gymnasium Böblingen (middle/high school)

Talks

07/09/2024 Akademy
18/11/2020 Carl Friedrich von Weizsäcker Colloquium

Posts

2016 – present Stack Exchange
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 intuitionism?
03/03/2019 Isn't predicate logic = model theory?
27/08/2020 What's the difference between different meanings of "meaning"?

Software

Web Development

Contact

forum Languages German, English
voice_selection Pronouncation de: /ˈnatali/; en: /ˈnætəli/
communication Pronouns; Nouns she; -er or -ess
mail E-Mail (academia) natalie.clariusnull@student.uni-tuebingen.de
mail E-Mail (software) natalie_clarius@yahoo.de
public Web
savings Tip jar