Deyan Ginev
Software Consultant
+1 646 247 5775
deyan.ginev@gmail.com
https://prodg.org
Education
09/2011 – to date
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.
09/2009 – 08/2011
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).
09/2006 – 06/2009
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
Google Scholar