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
semantics9
agda8
coq7
semantic7
theorem-proving7
workbench6
Programming languages (2)
Github contributions (5)
Mmaz1988/GlueSemWorkbench_v2
Oct 2017 - Nov 2022
The Glue semantics workbench provides two Glue provers for calculating semantic representations based on the semantic formalism Glue semantics.
Contributions:251 commits, 7 PRs, 153 pushes in 5 years 1 month
representationstheorem-provingworkbenchsemanticsagda
Mmaz1988/liger
Oct 2020 - Mar 2023
Contributions:155 commits, 25 pushes, 5 branches in 2 years 5 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.