I am a software developer and master's student with a background in formal logic and computational linguistics. I
- currently work for KDE as hardware integrator, and maintain some KDE extensions in my spare time
- develop scripts for automation of routine processes, especially in academic education
- work on a computational implementation of the tableau calculus for modal logics
- and enjoy teaching logic and programming.
Languages: Python (fluent), C++, QML, JavaScript, bash (working proficiency), Java (native language), Prolog (good in reading, intermediate in writing)
More about me can be found on my personal website.