Gordon Lichtstein

Welcome! I’m an MIT sophomore studying Electrical Engineering & Computer Science and Mathematics. I focus on programming languages and computer architecture, with interests in performance engineering, compiler optimization, machine learning, numerical methods, and finance. I especially like making Python eDSLs.

Outside of school I enjoy language learning, radio, music, environmental sustainability, and time in nature.

Projects

Hardware / Compilers / Systems

ParaDPLL - FPGA SAT Solver written in SystemVerilog for 6.205 final project, somewhat optimized.
Finesse - Python FSM eDSL and toolkit including visualzation, optimization, and SystemVerilog codegen (used to make ParaDPLL visualizations).
TinyIR - Functional Python GPU IR, with JAX, Numpy, Torch.func, and other backends.
Split Stenography Keyboard - Custom low profile split keyboard for stenography and standard QWERTY layout.
MLGO Peephole Superoptimizer for LLVM IR (Coming Soon) - Automatic policy-value guided MCTS search for rewrites, verified with Alive2.

ML / Game AI / NLP

SigmaGo - AlphaZero-style Go playing ML model integrating minimax + MCTS + policy value neural networks.
MuZero for Arimaa - Python Arimaa implementation for training MuZero-based model.
Esperanto Morphological Tokenization - Markov model-based semantic tokenization for Esperanto.
OCR Accuracy Metrics Without Ground Truth - Quantifies OCR performance using proxy metrics.
Embedding-based Search & Visualizations - Embedding search, dimensionality reduction, and interactive exploration.
Graphing the English Language - Network-theoretic synonym maps and exploration of semantic neighborhoods.
AWS SageMaker & User Management Workshop - Hands-on notebooks introducing AWS SageMaker workflow and setup.
AWS Textract & Comprehend Workshop - Hands-on workshop tutorial on document data extraction for UCSF.

Math

Interval Arithmetic - Library for interval arithmetic (finding the ranges of functions), using custom Taylor series patchwork, arbitrary degree autodiff, compilation, efficient patch caching.
Random Polynomial Toolkit - Framework for generating, analyzing, and visualizing random polynomial ensembles.
Dice DSL - DSL describing probabilistic game rules, automatically solving for optimal play, with efficient decision-tree codegen.
On the Absense of Tie-Breaking and Rounding Overflow in Floating-Point Division - Proofs relating to floating point division rounding.
Bit Hacks Verified (Coming Soon) - Formal verification of bit hacks and optimizations in Rocq.

Things I’ve Read and Enjoyed

Contact

Personal: glichtstein [at] gmail [dot] com
School: glicht [at] mit [dot] edu
LinkedIn: https://www.linkedin.com/in/gordon-lichtstein/
GitHub: https://github.com/generic-account