Deyan Ginev

Prof. Dr. Michael Kohlhase, Prof. Dr. Herbert Jaeger, Dr. Bruce R. Miller

Exploring the richness of billion-token corpora of scholarly documents, with a focus on math syntax. The work introduces several new reference datasets for natural language processing, and a main experiment modeling paragraph-level classification of scientific statements.

The Structure of Mathematical Expressions

Prof. Dr. Michael Kohlhase, Dr. Magdalena Wolska

A linguistic survey of the structural phenomena in mathematical symbolism, evaluated via a Combinatory Categorial Grammar (CCG) model. Designed and evaluated algorithms for knowledge management of disjunctive logical forms (ambiguous parse trees).

Software Consultant, Chakra Consulting Inc.
Executing contract for NIST’s Digital Library of Mathematical Functions.
Homepage: https://dlmf.nist.gov/

Consultant & Fullstack Developer at Authorea Inc, New York
Homepage: https://www.authorea.com/

Research assistant and senior investigator at the KWARC research group, Jacobs University. Projects included LLaMaPUn, arXMLiv, sTeX, LaTeXML and Planetary.
Homepage: https://www.kwarc.info

Guest Researcher at the Mathematical Software Group (891.02), National Institute of Standards and Technology, USA Department of Commerce.
Homepage: https://www.nist.gov/itl/math/msg/

Research Assistant at the Dept. of Computational Linguistics, Saarland University.
Homepage: http://www.coli.uni-saarland.de/

Summer intern at the Safe and Secure Cognitive Systems group, DFKI Bremen.
Homepage: https://www.dfki.de/en/web/research/competence-centers/safe-secure-systems/

Member of the W3C Math Working Group.
Homepage: https://www.w3.org/Math/Documents/Charter2023.html

Working member of the MathML Refresh community group.
Homepage: https://www.w3.org/community/mathml4/

Co-Founder of the MathML Association, promoting native mathematics on the web.
Homepage: http://www.mathml-association.org/

Programme Committee member for the “Systems and Projects” track of the Conferences on Intelligent Computer Mathematics.
Homepage: https://cicm-conference.org/

Lecturer – Computational Semantics of Natural Language, graduate seminar and lab pair, Jacobs University Bremen

Invited talk at American Institute of Mathematics, cyberinfrastructure workshop.
Homepage: https://aimath.org/pastworkshops/cyberinfrastructure.html

Invited talk at the Conference on Intelligent Computer Mathematics (CICM 2022).
Homepage: https://cicm-conference.org/2022/cicm.php

Invited talk at the first Conference on Artificial Intelligence and Theorem Proving.
Homepage: http://aitp-conference.org/2016/

Main developer. An HTML5 preview site for arXiv’s collection of documents, updated monthly.
Homepage: https://ar5iv.labs.arxiv.org

Co-developer and maintainer of core conversion features and web-facing extensions.
Homepage: https://dlmf.nist.gov/LaTeXML/

Main developer. A general purpose processing framework for corpora of scientific documents
Homepage: https://github.com/dginev/cortex

Main developer. Automatic linking of mathematical concepts for Wikipedia, PlanetMath.org, Wolfram MathWorld and others.
Homepage: https://github.com/dginev/nnexus

Participant in the second JacobsHack! hackathon – third prize.
Erato: discover poetry in music (NLP metrics, open lyrics APIs, FB social graph).
https://jacobshack.com/

Graduate student representative – President Search, Provost Search and Academic Constitution University Committees

Competed in the European Universities Debating Championship (EUDC), Koç University, Turkey

https://prodg.org/publications

https://scholar.google.com/citations?user=Ll1MloEAAAAJ&hl=en