Deyan Ginev

Computer Science,
Ph.D. Candidate

Office 102b, Research 1
Jacobs University Bremen
Campus Ring 1
Bremen, 28759
Germany


+49 421 200 3054

d dot ginev at jacobs-university ? de

http://prodg.org

Education

09/2011 – to date
Pursuing a Ph.D. in Computer Science , Jacobs University Bremen, Germany
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
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).
09/2006 – 06/2009
B.Sc. in Computer Science , Jacobs University Bremen, Germany

Employment

10/2014 – to date
Consultant & Fullstack Developer at Authorea
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: http://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: http://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: http://www.dfki.de/sks

Professional Appointments

02/2015 – to date
Co-Founder of the MathML Association, promoting native mathematics on the open web.
Homepage: http://www.mathml.us
07/2013, 07/2014
Programme Committee member for the “Systems and Projects” track of the Conferences on Intelligent Computer Mathematics.
Homepage: http://cicm-conference.org/
02/2014 – 05/2014,
09/2012 – 01/2013
Lecturer – Computational Semantics of Natural Language,
sssssssssss graduate seminar and lab pair, Jacobs University Bremen

Selected Projects

LaTeXML
Co-developer and maintainer of core conversion features and web-facing extensions.
Homepage: http://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).
http://www.hackathon.io/jacobshack/projects
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
Interests
philosophy of mind, debating, hiking

Publications

.