Summary
Dmitry Tsarkov is a Senior Trading Engineer and veteran C++ software architect with 25+ years of systems and research experience, now applying his expertise to high-performance crypto trading and ML-driven research infrastructure. He holds a PhD in Computer Science and authored FaCT++, a widely used OWL reasoner, and more than 40 scientific publications bridging automated reasoning, ML, and knowledge representation. At Google he built production ML experiment infrastructure and a highly optimized inference engine; at NUMEUS he drives low-latency order-book construction, exchange connectivity and ML-based optimizers that materially improved PnL. Comfortable across C++, Python, Java and OCaml on Linux/Windows, he combines deep algorithmic insight with hands-on DevOps (Docker, AWS/GCP, CI/CD) and a track record of solo-ship and team mentorship. Notably, his career blends academic-grade formal methods with practical trading systems, enabling robust, provably informed engineering in production environments.
12 years of coding experience
12 years of employment as a software developer
Lomonosov Moscow State University
English, Russian