Saikat Chakraborty
Saikat Chakraborty
Senior Researcher, Microsoft Research, Redmond, WA, USA
Joined
July 2019
Names
Emails
****@cs.columbia.edu (Confirmed)
****@microsoft.com (Confirmed)
****@gmail.com
Personal Links
Career & Education History
Senior Researcher
Microsoft Research, Redmond, WA, USA (research.microsoft.com)
2022 – Present
PhD student
Columbia University (columbia.edu)
2019 – 2022
Undergrad student
Bangladesh University of Engineering and Technology (buet.ac.bd)
2009 – 2014
Advisors, Relations & Conflicts
Expertise
AI for Formal Method
2023 – Present
Language Models
2021 – Present
Graph Neural Network
2020 – Present
Code Analysis
2019 – Present
Publications
Co-Authors
- Aditya Senthilnathan
- Akash Lal
- Alessandro Morari
- Aseem Rastogi
- Baishakhi Ray
- Chuyue Sun
- Clark Barrett
- David L. Dill
- Jubi Taneja
- Kai-Wei Chang
- Luca Buratti
- Madanlal Musuvathi
- Md Golam Rahman Tushar
- Md Rizwan Parvez
- Md. Rizwan Parvez
- Nikhil Swamy
- Rahul Sharma
- Sarah Fakhoury
- Saurabh Pujar
- Shuvendu K Lahiri
- Viraj Agashe
- Wasi Uddin Ahmad
- Xiaokang Qiu
- Yangruibo Ding