Dmytro Taranovsky

110 Bow St
Lexington, MA 02420 


Software Engineering or Research position


Massachusetts Institute of Technology:
Bachelor of Science in Mathematics (2005)
with Minor in Physics

Completed classes in mathematical analysis, abstract algebra, topology, physics (including special theory of relativity, quantum physics, and statistical physics), theory of algorithms, and philosophy

Work Experience 

Software Engineer at Parametros Trading (December 2012 - January 2015):
Analyzed performance of our high-frequency stock trading system, measuring patterns in very noisy data and running simulations, and made improvements to the trading algorithm. Analysis of stock executions for a large hedge fund. Engineering work to improve robustness and scalability. Used Python, shell, and C++ on Linux.

Software Engineer at eScription (now part of Nuance) (August 2006 - June 2011):
Worked on computer assisted medical transcription (speech recognition and text formatting). Created algorithms and software to effectively use very large data amounts, and achieved 15% accuracy improvement. Worked with a large computer farm, participated in research conferences (ICASSP, Nuance Research Conference), and maintained and cleaned up legacy codebases. Used Python, Perl, shell, and C++ on Linux. Details:
- Created a component to efficiently learn and apply millions of text mappings from billions of words of text. Implemented various techniques for best selection and application of the mappings.
- Work involved full software lifecycle: Design, programming, testing (including rollout and production monitoring, and addressing customer support tickets), and software maintenance and bug fixing.
- Contributed to various formatting components for finding headings, formatting numerics, numbered list recognition, adding punctuation, applying rule-based text transformations, etc.

Knowledge and Skills 

Computers:  Extensive Linux experience (both commandline and Fedora Linux as desktop); Microsoft Windows (but prefer Linux), LibreOffice, HTML, SQL, , NumPy, machine learning techniques, knowledge of computer architecture
Programming Languages: Python (preferred), Bash, Perl, C++

Mathematics: mathematical logic, set theory, philosophy of mathematics, mathematical analysis, abstract algebra, linear algebra, statistics 

Physics:  classical mechanics, special and general theory of relativity, quantum mechanics, statistical physics

Theoretical Computer Science: computability, complexity, theory of algorithms 

Interests and Activities 

Mathematics, especially set theory; computers and computer science; physics; philosophy 

Contributor to FOM (foundations of mathematics) mailing list 

June 2011 – November 2012: independent study; research in set theory, mathematical logic, and computer science.

May 2015 – September 2015: Technical reviewer for Python Machine Learning book.

Mathematical Research

Extended the language of set theory and provided semantics and axiomatization for higher order set theory; developed higher order set theory and demonstrated its close connections with large cardinal axioms (old paper and new paper and a further extension).
Created a strong ordinal notation system (link), and wrote a Python program for ordinal comparison and arithmetic using the system (link).
Defined arguably finitistic properties of complexity up to the second order arithmetic (link).
Paper "Determinacy and Fast-growing Sequences of Turing Degrees" (link).
Paper "Arithmetic with Limited Exponentiation" (link).
Paper "Space-Efficient Circuit Evaluation" (link).
Proposed a solution to the Generalized Continuum Hypothesis (link1 and link2).
Defined a finite analogue of infinite models (link).
Used probability to make conjectures in number theory about representability of numbers as sums of powers and primes (link).
Proved an equivalence between WKL0 and a determinacy hypothesis (link).
Defined constructive truth for arithmetic and analysis, and developed a corresponding constructive theory (link).


Member of the United States Physics Team and participation in the summer training (1999)
First Place in University Of Maryland High School Mathematics Competition (among high school students in Maryland, 2000) 


English, Russian, Ukrainian