About
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.
CV
Work
Software development and coordination in KDE and fd.o focused on better integration of the Plasma desktop environment with vendor partners' hardware products, e.g. power management, touchpad configuration
Education
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 some class sessions) |
| Winter term 2019 | Logic (jointly with Prof. Dr. Gerhard Jäger)¹ (Supervised preparation and conduction of some class sessions) |
Seminars
| Summer term 2021 | Selected Topics in Formal Semantics (Prof. Dr. Gerhard Jäger)¹ (Supervised preparation and conduction of some class sessions) |
Compact courses
| 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
| 18/11/2020 |
Automated Model Generation, Model Checking and Theorem Proving for Linguistic Applications³
|
Posts
¹ 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
Education
pyGrade
Interactive assistant for unit test based semi-automated grading of Python programming assignments
Moodle Group Assignment Administration
Scripts for administering group assignment submissions via the Moodle learning management system
KDE Plasma Desktop Environment
KWin #2201
Option to bring window to current virtual desktop when activiated on a different desktop
KWin #2871 / Workspace #2055
Configurable daytime screen light temperature
Workspace #2177
Substantial improvements to the relevance of runner results
Addons #264
Conversion between time zones in runner
KWin #3229
Optimization of window placement so as to avoid complete overlap
KWin #3255
Shortcuts to get screen in direction relative to reference
Development Documentation #168
Overhaul of the KWin scripting tutorial
KDE Window Management Plugins
Floating Tiles
KWin script to prevent windows from overlapping
Window Gaps
KWin script to add space around windows touching a screen edge or other window
Application Switcher
KWin script to raise all windows of an application as a group
Window Geometry Keyboard Tools
KWin scripts to control window geometry with keyboard shortcuts
Window Positioning Scripts
KWin scripts for window placement on multi-monitor setups
Breeze Active Accent
Plasma window decoration highlighting the active window in the color scheme's accent color
Scripts for Desktop Linux
Automatic Manual Duplex Printing
Shell script to semi-automatize manual two-sided printing
Shell Scripts
Collection of shell scripts for opening windows, updating files and more
Web Development
Personal Website
This website is self-made from scratch
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.clarius@student.uni-tuebingen.de |
| mail E-Mail (software) | natalie_clarius@yahoo.de |
| public Web |
|
| savings Tip jar |
|