Image of Saikat

Senior Researcher
Microsoft Research

(434) 242-1306
Curriculum vitae  

Hi there, I am Saikat, currently a Senior Researcher at the Research in Software Engineering (RiSE) group at Microsoft Research. With a profound interest in Programming Language Processing (PLP) -- a coalescence between Software Engineering and Artificial Intelligence, I work on the Reliability and AI in the context for Programming Languages. Adaptation of AI in software development, specially in programming, sparks skepticism for reliability -- understandable so. As such, it is extremely important to bring reliability and trustworthiness in AI-powered programming tools. I am interested in two orthogonal research direction of (i) Reliability in AI-generated program - where AI is the main driver, our research set check and bounds, so that AI does not go astray, and (ii)AI for Reliable Programming - where AI is the assistant helping programmers to write code with associated formal proofs.
Earlier, I graduated with Ph.D. in omputer Science from Columbia University in the City of New York advised by Professor Baishakhi Ray. I wrote my Ph.D. thesis on Learning to Edit Code.


  • Ph.D. in Computer Science, August, 2022
    Columbia University
  • M.S. in Computer Science, 2021
    Columbia University
  • B.Sc. in Computer Science and Engineering, 2014
    Bangladesh University of Engineering and Technology