Shrey Tiwari
Graduate Student Researcher
Pittsburgh, Pennsylvania, United States
Summary
🤩
Rockstar🎓
Top SchoolShrey Tiwari is a research-driven software engineer and PhD student focused on programming languages, software engineering, and cloud reliability, with eight years of experience building and hardening large-scale systems. He has driven production-critical work at Citrix (managing millions of VPN tunnels and raising test coverage above 90%) and advanced resource-leak detection and dynamic analysis tooling at Microsoft Research, demonstrating a recall of 100% on a realistic Azure benchmark. At Carnegie Mellon he continues research while contributing to notable open-source projects like Microsoft’s Coyote—enhancing deterministic testing for concurrent C# data structures. Comfortable across industry and academic settings, he blends deep systems debugging, test automation, and CI integration skills with an entrepreneurial mindset honed through intensive customer‑validation programs. Colocated in Pittsburgh, he pairs disciplined, curiosity-led research with hands-on delivery of reliable cloud software.
8 years of coding experience
1 year of employment as a software developer
Bachelor of Technology, Computer Science, Bachelor of Technology, Computer Science at PES UniversityDoctor of Philosophy - PhD, Computer Software Engineering, Doctor of Philosophy - PhD, Computer Software Engineering at Carnegie Mellon University
English, Hindi, Kannada, Marathi
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (11)
dotnet-new10
dotnet10
csharp10
concurrency10
dotnet-core10
testing10
mstest9
teste9
ui-testing9
testkit9
fuzzing8
Programming languages (6)
Github contributions (5)
microsoft/coyote
Jul 2021 - Jul 2021
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:12 reviews, 6 commits, 10 PRs in 11 days
Contributions summary:Shrey primarily contributed to enhancing the Coyote library, focused on testing concurrent C# code. Their work involved adding support for rewriting concurrent data structures like dictionaries, queues, stacks, and bags. The changes involve modifying internal methods to enable deterministic testing of concurrent operations, as evidenced by the code modifications. The user also added testing capabilities and focused on the console logger.
dotnetsoftware-reliabilitytestingfuzzingcoyote
ShreyTiwari/ShreyTiwari
May 2021 - Dec 2022
Contributions:27 commits, 26 pushes in 1 year 6 months
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.