Priyam Sahoo
Student Researcher at Microsoft
United States
Summary
🤩
Rockstar🎓
Top SchoolPriyam Sahoo is an MS computer science student at UIUC and a researcher focused on the intersection of programming languages, formal methods, and machine learning, with a thesis on neural translation of informal intent into formal program specifications. Currently a student researcher at Microsoft working on next-edit suggestion models for GitHub Copilot, he brings practical experience in training and evaluating production-scale ML systems. At Red Hat he shipped developer-facing tooling—Ansible Language Server and Ansible Lightspeed—and helped fine-tune a generative model on a year of telemetry, contributing to a VS Code extension that surpassed 500,000 downloads. Priyam combines a research mindset (benchmarking specification validity and logical consistency) with product impact, turning ideas into tools used by real developers. He has a background in applied security and ML from internships at IIT Madras and a seven-year span of engineering experience that blends systems, automation, and AI. Notably, he focuses on making code easier to reason about and verify, not just faster to write.
7 years of coding experience
3 years of employment as a software developer
Bachelor of Technology - BTech Computer Science, Bachelor of Technology - BTech Computer Science at VIT-AP UniversityMaster of Science - MS Computer Science, Master of Science - MS Computer Science at University of Illinois Urbana-Champaign
English, Hindi, Spanish, Odia
Github Skills (84)
molecule10
python10
json-schema10
testing10
curses10
creator10
linter10
schema10
podman10
ansible-lint10
text-based10
testinfra10
api10
ansible10
json10
Programming languages (8)
Github contributions (5)
priyamsahoo/Day-Zero-Diagnostics
May 2020 - Dec 2022
A python desktop app that works for doctors (to provide e prescriptions) and patients (to give out general details about medicines, tests, diseases, foods, exercises)
Contributions:8 commits, 11 pushes, 1 branch in 2 years 7 months
pythonpatientshealthprescriptionsfoods
BroadwayFriends/FriendlyNeighborAndroid
May 2020 - Dec 2020
Contributions:127 commits, 7 PRs, 25 pushes in 7 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.