Greetings!

I am Kokos [he/him]. I enjoy (occasionally) thinking, reading, and talking about stuff at the intersection of mathematical logic, linguistics, and machine learning. This website tracks and presents (some of) my work.

Whereabouts / Short CV

Over the last few years, I have been alternating between academia and industry. At present, I'm working as a scientific consultant for Kodamai, where I do neurosymbolic stuff as usual, except this time with a sprinkle of ✨business value✨.

On the academic front, I earned my PhD in Computational Linguistics from Utrecht University. Following my doctorate, I did a post-doc at Aalto University. Prior to my doctorate, I obtained a master's degree in AI (also from Utrecht), and an ECE diploma from the Aristotle University of Thessaloniki.

A longer version of the above can be found at my CV.

Research

My published research revolves around structured representation learning, neurosymbolic reasoning, and type-driven approaches to syntactic parsing and semantic compositionality. I am especially interested in the interface between formal and data-driven methods; if that floats your boat rubber duck, you can have a look at my publications page.

My latest output is Backward through Time, Algebraically (arXiv, August 2026).

Thesis

My dissertation is titled Dependency as Modality, Parsing as Permutation: A Neurosymbolic Perspective on Categorial Grammars. It advocates for the use of modalities as dependency annotations in type-logical grammars, and explores the parsing-as-deduction paradigm from a contemporary neurosymbolic perspective.

People thought it was good: it is one of the two recipients of the 2024 E. W. Beth Dissertation Prize. You can find a faithful copy of the physical print here. If (for whatever reason) you're interested in an actual physical copy, feel free to send me a message.

Recent & Upcoming Talks

Here's a list of my recent and upcoming talks (more here):

Contact

You can send any inquiries, complaints, bug reports, or expressions of admiration to konstantinos (at) riseup (dot) net.