Saikat Chakraborty
Associate Editor
Bothell, Washington, United States
Summary
👤
Senior🎓
Top SchoolSaikat Chakraborty is a Senior Researcher at Microsoft Research and Associate Editor for ACM Transactions on Software Engineering and Methodology, with 11 years of experience building and evaluating large language models for code. He specializes in turning execution, testing, program analysis, and formal verification into structured training and evaluation signals that make code LLMs reliable in production. His projects—DeepTest, DeepProof, and the open-source FStarDataset—bridge agentic testing, theorem proving, and verified-program benchmarks, and have driven state-of-the-art results on F* and Coq/Lean suites. Saikat’s work uniquely integrates real-time verification and reinforcement learning to move correctness from an offline metric into direct supervision. Trained as a PhD computer scientist from Columbia with internships at Google and Meta, he combines rigorous formal methods with production-focused engineering to advance trustworthy AI for software engineering.
11 years of coding experience
8 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Columbia University in the City of New YorkHSC, Science, HSC, Science at Chittagong CollegeBachelor of Science (BSc), Computer Science, Bachelor of Science (BSc), Computer Science at Bangladesh University of Engineering and TechnologyDoctor of Philosophy (Transferred to Columbia University), Computer Science, Doctor of Philosophy (Transferred to Columbia University), Computer Science at University of Virginia
English, Bangla
Stackoverflow
11reputation
650reached
1answer
0questions
Github Skills (30)
examine9
theorem7
data-structures6
nlp6
queue6
textual6
java6
code-intelligence5
natural-language-processing5
simulate5
pytorch4
representation-learning4
encoder4
encoder-decoder4
code-generation4
Programming languages (8)
Github contributions (5)
saikat107/NatGen
Jul 2022 - Jan 2023
Contributions:1 release, 22 commits, 1 PR in 6 months
saikat107/GumTreeTest
Nov 2017 - Jul 2022
Contributions:33 pushes, 3 branches in 4 years 9 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.