Senior Researcher
Microsoft Research
(434) 242-1306 | |||
saikatc@microsoft.com | |||
saikatch107@gmail.com | |||
|
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.
Academics
-
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