I'm a software engineer with a background in physics and competitive programming. Most recently, I co-founded and worked on the Wolfram Physics Project and SetReplace. Before that, I did an internship at Lyft Level 5, where I built an online calibration diagnostics service for autonomous vehicles using computer vision and LiDAR-edge classification. I also have physics research experience at Northeastern U and Moscow State U, and I've participated in programming competitions since middle school.
🔗 https://www.linkedin.com/in/maxitg/
2018 — Present
C++/Wolfram Language package for evaluating and analyzing hypergraph rewriting systems, which made Wolfram Physics Project possible.
Coordinated the development with 11 all-time contributors (not all at the same time) and reviewed all contributions.
Pioneered an efficient appoach to store and analyze all possible evaluations of non-deterministic rewriting systems.
Built testing infrastructure with Docker & Circle CI, and wrote complete documentation.
Rewriting animation using {{a, b, c}, {b, d, e}} → {{a, d, f}, {b, c, a}, {f, e, a}}.
Rewriting animation using {{a, b, c}, {b, d, e}} → {{a, d, f}, {b, c, a}, {f, e, a}}.
Graph after rewriting {{x, y}, {y, z}} → {{w, y}, {w, x}, {y, x}, {z, w}} 510 times starting from {{1, 2}, {2, 3}, {3, 4}, {4, 1}}.
2021
C++ tool to enumerate minimal tiling patterns that can tile an infinite grid.
A minimal-period grid tiling where only 14 choices of colorings are allowed for a 5-tile mask at each position.
2020
C++/Wolfram Language package for evaluation of combinator systems, which are rewriting systems based on nested functions, e.g., s(x)(y)(z) → x(z)(y(z)).
An example evaluation of an SK combinator.