About
I am a master's student and software developer.
Currently I work as hardware integrator for KDE 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 science,
- 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 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
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
Education
Volunteering
A full resume is available upon request.
Teaching
Compact courses
| 10/09/2024 | Introduction to Version Control with git (Workshop at the annual world summit of KDE) |
enin English | KDEKDE (software community) |
| Summer term 2017 | Introduction to Logic Programming with Prolog (Independently taught compact course accompanying the Grammar Formalisms tutorial) |
enin English | SFSUniversity of Tübingen, Department of Linguistics |
Lectures
| Winter term 2020 | Introduction to General Linguistics (jointly with Isabella Boga) (Supervised preparation and conduction of a number of class sessions) |
enin English | SFSUniversity of Tübingen, Department of Linguistics |
| Winter term 2019 | Logic (jointly with Prof. Dr. Gerhard Jäger) (Supervised preparation and conduction of a number of class sessions) |
enin English | SFSUniversity of Tübingen, Department of Linguistics |
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) |
enin English | SFSUniversity of Tübingen, Department of Linguistics |
Tutorials
| Summer term 2020 | Gödel's Incompleteness Theorems (Prof. Dr. Reinhard Kahle) | enin English | FMIUniversity of Göttingen, Faculty of Mathematics and Computer Science |
| Summer term 2020 | Introduction to Logic (Dr. Thomas Piecha) | dein German | WSIUniversity of Tübingen, Department of Computer Science |
| Winter term 2019 | Logic (Prof. Dr. Gerhard Jäger) | enin English | SFSUniversity of Tübingen, Department of Linguistics |
| Summer term 2019 | Programming and Data Analysis (Prof. Dr. Gerhard Jäger) | enin English | SFSUniversity of Tübingen, Department of Linguistics |
| Summer term 2019 | Production and Interpretation of Referring Expressions (Dr. Oliver Bott) | enin English | SFSUniversity of Tübingen, Department of Linguistics |
| Winter term 2018 | Lambda Calculus and Combinatory Logic (Dr. Thomas Piecha) | enin English | WSIUniversity of Tübingen, Department of Computer Science |
| Winter term 2018 | Linear Algebra for Linguistics (Prof. Dr. Fritz Hamm) | enin English | SFSUniversity of Tübingen, Department of Linguistics |
| Winter term 2018 | Introduction to General Linguistics (Johannes Wahle & Dr. Oliver Bott) | enin English | SFSUniversity of Tübingen, Department of Linguistics |
| Summer term 2018 | Theoretical Foundations of Logic Programming (Dr. Thomas Piecha) | dein German | WSIUniversity of Tübingen, Department of Computer Science |
| Summer term 2018 | Programming and Data Analysis (Dr. Johannes Dellert) | enin English | SFSUniversity of Tübingen, Department of Linguistics |
| Summer term 2018 | Semantics and Pragmatics (Prof. Dr. Fritz Hamm) | enin English | SFSUniversity of Tübingen, Department of Linguistics |
| Winter term 2017 | Lambda Calculus and Combinatory Logic (Dr. Thomas Piecha) | enin English | WSIUniversity of Tübingen, Department of Computer Science |
| Winter term 2017 | Syntax and Semantics (Prof. Dr. Fritz Hamm) | enin English | SFSUniversity of Tübingen, Department of Linguistics |
| Winter term 2017 | Current Trends in Linguistics (Johannes Wahle & Marisa Köllner) | enin English | SFSUniversity of Tübingen, Department of Linguistics |
| Winter term 2017 | Introduction to General Linguistics (Johannes Wahle & Marisa Köllner) | enin English | SFSUniversity of Tübingen, Department of Linguistics |
| Summer term 2017 | Grammar Formalisms for Computational Linguistics (Prof. Dr. Kurt Eberle) | enin English | SFSUniversity of Tübingen, Department of Linguistics |
| Summer term 2017 | Semantics and Pragmatics (Prof. Dr. Fritz Hamm) | enin English | SFSUniversity of Tübingen, Department of Linguistics |
| Winter term 2016 | Syntax and Semantics (Prof. Dr. Fritz Hamm) | enin English | SFSUniversity of Tübingen, Department of Linguistics |
| Winter term 2016 | Current Trends in Linguistics (Prof. Dr. Gerhard Jäger) | enin English | SFSUniversity of Tübingen, Department of Linguistics |
| Winter term 2016 | Introduction to General Linguistics (Johannes Wahle & Marisa Köllner) | enin English | SFSUniversity of Tübingen, Department of Linguistics |
| Summer term 2016 | Pragmatics (Dr. Christian Ebert) | enin English | SFSUniversity of Tübingen, Department of Linguistics |
| Winter term 2015 | Semantics (Prof. Dr. Wolfgang Sternefeld) | enin English | SFSUniversity of Tübingen, Department of Linguistics |
| Winter term 2015 | Introduction to General Linguistics (Dr. Christian Ebert, Johannes Wahle & Marisa Köllner) | enin English | SFSUniversity of Tübingen, Department of Linguistics |
| School term 2012 | Homework Assistance | dein German | OHGOtto-Hahn-Gymnasium Böblingen (middle school) |
| School term 2011 | Homework Assistance | dein German | OHGOtto-Hahn-Gymnasium Böblingen (middle school) |
Talks
| 07/09/2024 |
Current Developments in Hardware Integration for Plasma (Contributed talk at the annual world summit of KDE) |
enin English | KDEKDE (software community) |
| 18/11/2020 |
Automated Model Generation, Model Checking and Theorem Proving for Linguistic Applications (Contributed talk at the Carl Friedrich von Weizsäcker Colloquium) |
enin English | CFWCUniversity of Tübingen, Carl Friedrich von Weizsäcker Center for Foundational Research |
Posts
| 2016 – present |
Regular contributions to Mathematics, Linguistics and Philosophy
Selected articles: |
enin English | SEStack Exchange (Q&A network) |
| 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
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 Volunteer Contributions
KWin #2201
Option to bring window to current virtual desktop when activated 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
KDE Plasma Hardware Integration
Kameleon
Synchronization of device LEDs with accent color
Inhibiting Inhibitions
Control to suppress sleep blocking imposed by apps
Power Applets Reloaded
Applets for power and brightness overhauled and extended
UPower #203
Keyboard backlight control working for all LED devices
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 |
|