Deyan Ginev

Designing Definition Discovery - Read, Recognize, Reflect, Repeat

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

Exploring the boundary and fusion between statistical and formal modeling approaches for natural language semantics. The main experiment envisions knowledge discovery of “definitional structures” in scientific publications. This data-driven exploration is based on large-scale corpora of mathematical publications, such as the Cornell e-Print archive and the Zentralblatt MATH database of mathematical reviews.

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/

Researcher 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/

Co-Founder of the MathML Association, promoting native mathematics on the open web.
Homepage: https://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

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 and maintainer. Automatic linking of mathematical concepts for Wikipedia, PlanetMath.org, Wolfram MathWorld and others.
Homepage: https://github.com/dginev/nnexus

Team captain and developer. Lead six bachelor students from five scientific disciplines to win the first annual Jacobs University Software Competition. Created a scientifically accurate computational model of the metabolism, reproduction, evolution and social dynamics of the E. Coli bacteria.

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