Alexander Varga
Engineering Manager, Simulator
Boston, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolAlexander Varga is an engineering manager and principal software architect with ~8 years of experience building compilers, runtimes, and cloud-scale distributed simulation systems. He led design and implementation of a Rust-focused compiler and Kubernetes-backed runtime at Sedaro, including an edge runtime demonstrated via self-simulation aboard operational satellites. His background at AWS and Alexa brought large-scale policy validation, WFST compilers, and automated reasoning into production, and he frequently applies logic and PL techniques—refinement types, Datalog-like analyses, and formally verified components—to improve correctness and performance. Proficient across Rust, C++, Python, Haskell and research tools, he also publishes experimental projects (e.g., a graphical proof assistant and verified ordinal arithmetic) on his site, signaling a rare blend of production engineering and formal-methods research.
8 years of coding experience
7 years of employment as a software developer
Master of Science - MS Computer Science, Master of Science - MS Computer Science at Brown UniversityHigh School Diploma, High School Diploma at Pingree SchoolPure and Applied Logic, Pure and Applied Logic at Universitat de Barcelona
Spanish, Hungarian
Stackoverflow
1reputation
3kreached
0answers
1question
Github Skills (39)
opentype10
parser10
formal-methods10
fonts10
slugify10
forge10
normalization10
ufo10
parsing10
ascii10
slug10
truetype10
ansi10
tree-sitter9
figlet9
Programming languages (10)
Github contributions (5)
asvarga/asvarga.github.io
Mar 2018 - Jul 2026
Contributions:91 pushes, 6 branches in 8 years 5 months
tnelson/Forge
Sep 2019 - Jun 2020
Forge: A Tool and Language for Teaching Formal Methods
Contributions:288 commits, 9 PRs, 242 pushes in 9 months
forgeformal-methods
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.