Deyan Ginev

Software Consultant



+1 646 247 5775

deyan.ginev@gmail.com

https://prodg.org

Education

Pursuing a Ph.D. in Computer Science, University of Erlangen-Nuremberg, Germany

supervisors

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

description

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.

M.Sc. in Computer Science, Jacobs University Bremen, Germany

supervisors

Prof. Dr. Michael Kohlhase, Dr. Magdalena Wolska

description

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).

B.Sc. in Computer Science, Jacobs University Bremen, Germany

Employment

06/2018 – 07/2024

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

10/2014 – 11/2017

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

06/2007 – 09/2014

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

01/2013 – 12/2013
01/2012 – 05/2012

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/

07/2009 – 09/2009

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

06/2008 – 08/2008

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/

Professional Appointments

04/2021 – 07/2024

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

06/2020 – 04/2021

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

02/2015 – to date

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

07/2013, 07/2014

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

02/2014 – 05/2014

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

Invited Talks

12/2023

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

09/2022

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

04/2016

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

Selected Projects

ar5iv

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

LaTeXML

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

CorTeX

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

NNexus

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

Selected Extracurricular Activities

01/2014

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

10/2010 – 06/2011

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

07/2007

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

Publications

Publications page