Oyendrila Dobe
Applied Scientist at Amazon Web Services (AWS)
Boston, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolOyendrila Dobe is an applied scientist with 9 years of experience blending formal verification research and practical tooling, currently working at Amazon Web Services after multiple AWS internships. Her PhD-focused background in information flow security and academic research at Michigan State and Iowa State centers on verifying randomized and nondeterministic systems via multi-trace properties—an uncommon niche that bridges theory and real-world static analysis. She has hands-on experience building proof-of-concept automated reasoning tools and cross-language static analysis, and has taught large undergraduate courses, demonstrating both technical depth and communication skills. Based in Boston, she pairs formal-methods expertise with production-oriented engineering to make automated reasoning more accessible to practitioners.
9 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Iowa State UniversityBachelor of Technology (B.Tech.), Computer Science, 8.91/ 10, Bachelor of Technology (B.Tech.), Computer Science, 8.91/ 10 at St thomas' college of engineering and technologyHigh school, PHYSICAL SCIENCES, High school, PHYSICAL SCIENCES at National Gems higher secondary schoolDoctor of Philosophy - PhD, Information flow security, Doctor of Philosophy - PhD, Information flow security at Michigan State University
Stackoverflow
181reputation
60kreached
6answers
4questions
Github Skills (41)
markov-chain10
mdp10
markov9
checker9
hidden-markov-model9
semantic-diff9
verify9
python-bindings8
probabilistic8
model-checking8
statistical-inference8
tla8
storm8
probabilistic-models7
markov-decision-processes7
Programming languages (8)
Github contributions (5)
TART-MSU/HyperProb
Mar 2021 - Jan 2023
Tool to verify Probabilistic Hyperproperties on Markov Decision Processes
Contributions:112 commits, 2 PRs, 107 pushes in 1 year 10 months
decisionstatistical-inferencemachine-learningverifyprobabilistic-models
oreohere/HyperOnMDP
May 2020 - Mar 2021
Verifying Hyperproperties on MDP
Contributions:2 PRs, 45 pushes, 2 branches in 10 months
mdp
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.