Lasha Abzianidze
Assistant Professor at Utrecht University
Utrecht, Utrecht, Netherlands
Summary
👤
Senior🎓
Top SchoolLasha Abzianidze is an Assistant Professor and computational semanticist with 11 years of research experience specializing in scaling formal logical methods to wide-coverage natural language. He develops hybrid approaches that combine rule-based natural logic with statistical learning and large annotated corpora to reduce manual rule engineering while preserving formal rigor. His work spans analytic proof systems for natural language, multilingual formal semantics, and modeling abductive reasoning directly on linguistic expressions. Based in Utrecht, he brings a rare blend of deep formal training (PhD in natural proof systems) and practical implementation experience dating back to computational-linguistics projects on Georgian verb systems. Colleagues value him for translating abstract proof-theoretic ideas into tools that handle real-world, multilingual text at scale.
11 years of coding experience
6 years of employment as a software developer
128Bachelor, Mathenatics, Bachelor, Mathenatics at Tbilisi State UniversityMSc, Computational linguistics, MSc, Computational linguistics at University of Nancy 2MSc, Computational Linguistics, MSc, Computational Linguistics at Univerzita Karlova v PrazeEuropean master program in "Language and Communication Technologies"Doctor of Philosophy - PhD, A Natural Proof System for Natural Language, Doctor of Philosophy - PhD, A Natural Proof System for Natural Language at Tilburg University
English, Russian, French, Georgian, Estonian
Stackoverflow
1,228reputation
74kreached
12answers
37questions
nested-loops
top-5%
Github Skills (47)
nltk10
python9
forloop9
acl9
natural-language-processing9
computational-linguistics9
phonetics9
representations9
nested-loops9
nlp9
scoped8
machine-learning8
science7
brat6
macos6
Programming languages (4)
Github contributions (5)
kovvalsky/fibo
Mar 2017 - Jul 2019
Contributions:4 PRs, 4 pushes, 5 branches in 2 years 4 months
kovvalsky/prove_SICK_NL
Jan 2021 - Oct 2021
Contributions:103 commits, 8 pushes, 2 branches in 8 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.