+1 646 247 5775
09/2011 – to date
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.
09/2009 – 08/2011
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).
09/2006 – 06/2009
06/2018 – to date
Software Consultant, Chakra Consulting Inc. Executing contract for NIST’s Digital Library of Mathematical Functions.
10/2014 – 11/2017
Consultant & Fullstack Developer at Authorea Inc, New York
06/2007 – 09/2014
Research assistant and senior investigator at the KWARC research group, Jacobs University. Projects included LLaMaPUn, arXMLiv, sTeX, LaTeXML and Planetary.
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.
07/2009 – 09/2009
Researcher at the Dept. of Computational Linguistics, Saarland University.
06/2008 – 08/2008
Summer intern at the Safe and Secure Cognitive Systems group, DFKI Bremen.
02/2015 – to date
Co-Founder of the MathML Association, promoting native mathematics on the open web.
Programme Committee member for the “Systems and Projects” track of the Conferences on Intelligent Computer Mathematics.
02/2014 – 05/2014
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.
Main developer. A general purpose processing framework for corpora of scientific documents
Main developer and maintainer. Automatic linking of mathematical concepts for Wikipedia, PlanetMath.org, Wolfram MathWorld and others.
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
Participant in the second JacobsHack! hackathon – third prize. Erato: discover poetry in music (NLP metrics, open lyrics APIs, FB social graph).
10/2010 – 06/2011
Graduate student representative – President Search, Provost Search and Academic Constitution University Committees
Competed in the European Universities Debating Championship (EUDC), Koç University, Turkey