Master's student working on computational formal semantics | Vocational trainer for information technology | Software engineer affiliated with KDE