Master's student working on computational formal semantics | Software developer for hardware integration at KDE e.V.