Gabriel Dos Reis
Software Engineer
Seattle, Washington, United States
Summary
🤩
RockstarGabriel Dos Reis is an adjunct faculty and computer scientist in Seattle with 18 years of professional experience bridging teaching and applied research in machine learning, NLP, explainable AI, and data science. He combines formal-mathematical instincts with practical software construction—having built recession prediction models, geospatial eVTOL routing frameworks, and misinformation detection projects using tools from Python and GeoPandas to SHAP and LSTM architectures. As a former English teacher and au pair, he brings uncommon strength in communication and pedagogy, making complex technical topics accessible to beginners while mentoring student workshops and competitions. His work emphasizes interpretable models and production-minded visualizations, such as interactive 2D/3D maps that integrate live flight data to evaluate airspace risk. Based at College of DuPage and Lewis University research, he pairs classroom instruction with hands-on research experience and a mathematician’s appetite for formal methods and computational logic.
19 years of coding experience
Github Skills (30)
symbolic-math10
symbolic-computation10
dedicated10
agda10
algebra10
sympy10
pattern-matching10
pattern10
adt10
markov-decision-processes10
realms10
visitor-pattern10
cpp10
relational-algebra10
dfa10
Programming languages (7)
Github contributions (5)
GabrielDosReis/open-axiom
Aug 2007 - Sep 2022
OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
Contributions:2 reviews, 2991 commits, 102 PRs in 15 years 3 months
symbolic-computationsymbolic-mathalgebraagdarelational-algebra
microsoft/ifc-spec
Oct 2021 - Oct 2022
IFC format specification
Contributions:15 reviews, 48 commits, 112 PRs in 11 months
ifcspecificationtlacpp
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.