Mark-matthias Zymla
Wissenschaftlicher Mitarbeiter at Universität Konstanz
Constance, Baden-Württemberg, Germany
Summary
👤
Senior🎓
Top SchoolMark-matthias Zymla is a research-focused computational linguist and PhD candidate with eight years' experience at Universität Konstanz, specializing in the syntax–semantics interface and formal pragmatics across English and German. He combines formal linguistics expertise (Glue semantics implementation) with hands-on computational skills, contributing to interdisciplinary projects in visual analytics, political argumentation analysis, and corpus linguistics. His work spans research-driven software development, semantic system implementation, and evaluation metrics for visual analytics, reflecting a rare blend of theoretical rigor and practical tooling. Based in Constance, Germany, he aims to fuse deep-learning approaches in computational linguistics with insights from formal theory to build explainable, linguistically grounded NLP tools.
8 years of coding experience
Bachelor of Arts - BA, Linguistics, 2.2, Bachelor of Arts - BA, Linguistics, 2.2 at University of KonstanzDoctor of Philosophy - PhD, Linguistik, 1.0, Doctor of Philosophy - PhD, Linguistik, 1.0 at Universität Konstanz
German, English, French, Japanese
Github Skills (7)
representations10
workbench9
agda8
semantics8
coq8
theorem-proving7
semantic6
Programming languages (2)
Github contributions (5)
Mmaz1988/liger
Oct 2020 - Mar 2023
Contributions:155 commits, 28 pushes, 5 branches in 2 years 5 months
Mmaz1988/xleplusglue
Nov 2023 - May 2026
Contributions:201 pushes, 10 branches in 2 years 6 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.