Dmytro Taranovsky
110 Bow St
Lexington, MA 02420
Email: dmytro@mit.edu
Objective | Software Engineering or Research position |
Education |
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), HTML, SQL, Microsoft Word, Excel, PowerPoint (and LibreOffice equivalents), NumPy, machine learning techniques, knowledge of computer architecture 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 Results |
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). Proposed a solution to the Generalized Continuum Hypothesis (link1 and link2). Defined seemingly finitistic properties of complexity up to the second order arithmetic (link). Created a strong ordinal notation system (link), and wrote a Python program for ordinal comparison and arithmetic using the system (link). 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 WKL_{0} and a determinacy hypothesis (link). Paper "Determinacy and Fast Growing Sequences of Turing Degrees" (link). Paper "Space-Efficient Circuit Evaluation" (link). Defined constructive truth for arithmetic and analysis, and developed a corresponding constructive theory (link). |
Awards | Member of the United States Physics Team and participation in the summer training (1999) |
Languages | English, Russian, Ukrainian |