Deyan Ginev
Computer Science,
Ph.D. Candidate
Ph.D. Candidate
+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 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.
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 – to date
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
Researcher 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
02/2015 – to date
Co-Founder of the MathML Association, promoting native mathematics on the open web.
Homepage: https://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
Selected Projects
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 and maintainer. Automatic linking of mathematical concepts for Wikipedia, PlanetMath.org, Wolfram MathWorld and others.
Homepage: https://github.com/dginev/nnexus
Simulating Life Emergence
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.
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