Aditya Senthilnathan
PhD Candidate
City of Ithaca, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolAditya Senthilnathan is a Cornell CS PhD candidate and researcher with eight years of engineering experience bridging programming languages, program analysis, and practical tooling. He has applied large language models to program verification during a research fellowship at Microsoft and contributed to program analysis and diffing tools as an undergraduate researcher at Columbia (Upgradvisor). Trained at IIT Delhi with integrated B.Tech/M.Tech credentials and active as a TA for operating systems and AI courses, he blends deep theoretical grounding with hands-on teaching experience. His background spans industry and startups—from frontend work at an early-stage company to a short engineering role at Gartner—giving him a pragmatic product-oriented perspective. Based in Ithaca, he runs a project homepage and GitHub that surface his research and tooling efforts, signaling a strong inclination toward reproducible, open research. Notably, he pairs formal PL techniques with contemporary LLM approaches to tackle verification problems that require both rigorous reasoning and empirical tools.
8 years of coding experience
1 year of employment as a software developer
Indian Institute of Technology Delhi (IIT Delhi)Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Cornell University
English, Tamil, Hindi
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (26)
coyote10
concurrent10
testing10
dotnet10
fuzzing10
regression9
github8
compiler-construction8
intermediate8
git8
machine-learning7
deep-learning7
scientific-computing7
nearest-neighbor-search7
keccak7
Programming languages (10)
Github contributions (5)
adityanathan/Prototype-Functional-Language
May 2019 - Jan 2022
Contributions:8 pushes in 2 years 9 months
adityanathan/Resume
May 2019 - Dec 2021
Contributions:12 pushes, 1 branch in 2 years 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.