Elan Roth
Fulbright Scholar at Fulbright Canada
Waterloo, Ontario, Canada
Summary
🤩
Rockstar🎓
Top SchoolElan Roth is a Fulbright Scholar and versatile software and data engineer with six years of experience bridging formal methods, full‑stack development, and sports analytics. He has taught graduate and undergraduate programming languages, used Coq to formalize denotational semantics, and built production analytics models for professional sports teams while leading an analytics-driven startup that shipped an iOS app for low-budget basketball programs. Comfortable in OCaml, Java, and practical data stacks, he also contributes to game server projects like MaNGOS/AzerothCore, reflecting a hobbyist-to-production fluency. Based in Waterloo with a background in logic from Penn and semesters in advanced mathematics, he blends rigorous formal thinking with product-minded engineering to turn complex theory into usable tools.
6 years of coding experience
6 years of employment as a software developer
High School Diploma, High School Diploma at Solomon Schechter School of WestchesterBudapest Semesters in MathematicsJewish/Judaic Studies, Jewish/Judaic Studies at Shalom Hartman InstitueBachelor’s Degree Logic, Bachelor’s Degree Logic at University of Pennsylvania
Github Skills (38)
mmo10
modular10
multiplayer10
bug-tracker10
world-of-warcraft10
authentication10
xmake10
populate10
trinitycore10
lua10
azerothcore10
visual-studio10
openssl10
discord-bot10
modification10
Programming languages (5)
Github contributions (5)
Elmsroth/mangoszero-server
May 2020 - Dec 2023
Mangos ZERO is a server for World of Warcraft. The server serves full world content including authentication & scripts support. Compatible with World of Warcraft clients 1.12.1-1.12.3 - Report all issues at https://www.getmangos.eu/bug-tracker/mangos-zero/
Contributions:243 pushes, 150 branches, 1 comment in 3 years 7 months
luaazerothcoretrackerzerowarcraft
Elmsroth/mangoszero-database
May 2020 - Feb 2024
The *MangosZero* world database containing creatures, npcs etc.to populate the game world with. Report all issues at https://www.getmangos.eu/bug-tracker/mangos-zero/
Contributions:74 pushes, 40 branches in 3 years 9 months
npcstrackerzeromangosreport
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.