Career Timeline

Thesis: Design and Verification of Autonomous Systems in the Presence of Uncertainties.

Social Media Posts:           [Tweet]           [LinkedIn]           [Facebook]           [Instagram]

June 5, 2023

Our paper got accepted in Science of Computer Programming!

May 29, 2023

Our paper got accepted in RTCSA 2023!

October 12, 2022

Best Presentation Award at the ACM Student Research Competition(2022)!

October 1, 2022

I got accepted to the ACM Student Research Competition—First Round (2022)!

September 14, 2022

Our paper got accepted in ASP-DAC 2023!

Aug 23, 2022 - Aug 25, 2022

Presented our paper at RTCSA 2022 (Virtual)

Taipei, Taiwan.

July 6, 2022

Our paper got accepted in EMSOFT 2022!

June 14, 2022

Our paper got accepted in RTCSA 2022!

Best Paper Candidate!

Invited: Journal on Real-Time Systems.

June 13, 2022 - June 17, 2022

Presented our paper at FORTE 2022 (Virtual)

Lucca, Italy.

June 13, 2022 - June 17, 2022

Attended the SRI Summer School on Formal Techniques (2022)!

California, The United States of America.

May 2, 2022

I got accepted to the SRI Summer School on Formal Techniques (2022)!

March 25, 2022

Our paper got accepted in FORTE 2022!

Invited: Journal on Logical Methods in Computer Science.
Invited: Software Track of Science of Computer Programming.

October 13, 2021 - October 18, 2021

Presented our paper at IROS 2021 (Virtual)

Prague, Czech Republic.

June 30, 2021

Our paper got accepted in IROS 2021!

May 7, 2021

Chateaubriand 2021-2022 fellow!

October 13, 2019 - October 18, 2019

Presented our paper at EMSOFT 2019

New York, United States.

July 10, 2019

My first paper got accepted in EMSOFT 2019!

May 13, 2019 - August 2, 2019

Research Intern

Tata Research
Kolkata, India.

January 9, 2019 - June 13, 2023

Graduate Research Assistant

Department of Computer Science
University of North Carolina at Chapel Hill
Chapel Hill, NC, United States.

January 9, 2019

Started PhD in Computer Science

Department of Computer Science
University of North Carolina at Chapel Hill
Chapel Hill, NC, United States.

January 7, 2019

Withdrawn from University of Connecticut

Department of Computer Science and Engineering
University of Connecticut
Storrs, CT, United States.

August 21, 2017 - January 7, 2019

Graduate Research Assistant

Department of Computer Science and Engineering
University of Connecticut
Storrs, CT, United States.

August 21, 2017

Started PhD in Computer Science and Engineering

Department of Computer Science and Engineering
University of Connecticut
Storrs, CT, United States.

July 31, 2017

Left Job at Oracle

Oracle
Bangalore, India.

January 2017 - February 2017

Participated in Oracle Retail Science Fair 2017.

Secured Third Position all over Oracle Retail
[Project Details]

August 8, 2016

Started New Job at Oracle.

Oracle
Bangalore, India.

July 25, 2016

Graduated from Chennai Mathematical Institute

Chennai Mathematical Institute
M. Sc. in Computer Science
Chennai, India.

January 1, 2016 - June 30, 2016

Internship at Oracle

Oracle
Bangalore, India.

May, 2015 - July, 2015

Research Internship at ISI Kolkata

Indian Statistical Institute
Kolkata, India.

July 31, 2014

Started M. Sc. in Computer Science at Chennai Mathematical Institute

Chennai Mathematical Institute
M. Sc. in Computer Science
Chennai, India.

June 26, 2014

Graduated from Ramakrishna Mission Vidyamandira

Ramakrishna Mission Vidyamandira
First Class First with Gold Medal
Equivalent to Summa Cum Laude
B. Sc. in Computer Science
Kolkata, India.

July 11, 2011

Started B. Sc. in Computer Science at Ramakrishna Mission Vidyamandira

Ramakrishna Mission Vidyamandira
B. Sc. in Computer Science
Kolkata, India.

May 2011

ISC

Tribeni Tissues Vidyapith
House Captain (Champions 2011)

May 2009

ICSE

Tribeni Tissues Vidyapith