Shrey Aryan
Doctoral Student at Massachusetts Institute of Technology
Cambridge, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolShrey Aryan is a doctoral student at MIT with eight years of engineering experience bridging rigorous mathematics and production software. Trained in mathematics at École Polytechnique and ETH Zürich, he researches differential geometry, PDEs, and optimal transport while bringing practical DevOps and SRE chops from roles at Sygnum and earlier quant and research internships. He has implemented high-performance C++ data and I/O tooling during multiple Google Summer of Code projects and built Kubernetes/ArgoCD pipelines and Prometheus-driven rollback automation in production. Comfortable moving between theory and systems, he synthesizes formal methods from research (e.g., reinforcement-learning-based safety for dynamical systems) with scalable deployment practices. Based in Cambridge, MA, he combines a solver’s attention to proofs with a practitioner’s focus on observability and reliability.
8 years of coding experience
Massachusetts Institute of TechnologyBachelor of Science - BS, Mathematics and Computer Science, Bachelor of Science - BS, Mathematics and Computer Science at École PolytechniqueThe Doon SchoolMaster's degree, Mathematics, Master's degree, Mathematics at ETH Zürich
Stackoverflow
41reputation
5kreached
0answers
7questions
Github Skills (102)
python10
podio10
cheminformatics10
rdkit10
time-series-forecasting9
integral8
calculator8
rdma8
forecasting8
probabilistic8
arxiv8
java8
mxnet7
cpp7
javascript7
Programming languages (10)
Github contributions (5)
shrey183/shrey183.github.io
Nov 2021 - Mar 2025
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Contributions:69 pushes, 16 branches in 3 years 4 months
templategithub-pages-templatemmistakesmistakesjekyll
shrey183/Symbolic-Calculator
Sep 2018 - Jul 2019
This is an ongoing project to create a symbolic calculator.
Contributions:18 commits, 12 PRs, 15 pushes in 9 months
pythonongoingongoing-projectcalculatorsymbolic
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.