Timeline
August 4, 2025
July 25, 2025
Our paper got accepted in TCRS 2025!
July 15, 2025
Our paper got accepted in FDL 2025!
Social Media Posts:
[LinkedIn]
[Instagram]
[Facebook]
[X]
July 11, 2025
Our paper got accepted in EMSOFT 2025!
June 16, 2025 - June 20, 2025
Presented our paper at FORTE 2025 (In-Person)
Lille, France.
[Photos]
April 5, 2025
Our paper received Artifact Evaluation Badges in FORTE 2025!
April 5, 2025
Our paper got accepted in FORTE 2025!
March 28, 2025
March 25, 2025
January 31, 2025
We are allocated Cyber Hall (CYB) 3033 as our lab space!
It's finally AutMn at UA!
September 8, 2024
Our paper got accepted in ICAA 2024!
September 6, 2024
Our paper got accepted in WUWNet 2024!
August 26, 2024 - December 19, 2024
On Medical Leave
August 16, 2024
Prachi Bhattacharjee started her PhD!
March 2, 2024
February 20, 2024
January 10, 2024
College of Engineering
The University of Alabama
Social Media Posts:
[Tweet]
[LinkedIn]
[Facebook]
[Instagram]
October 25, 2023
October 23, 2023
Our paper got accepted in LMCS 2023!
Social Media Posts:
[Tweet]
[LinkedIn]
[Facebook]
[Instagram]
August 16, 2023
Started New Job as an Assistant Professor!
Department of Computer Science
The University of Alabama
Tuscaloosa, Alabama, The United States of America.
July 1, 2023
Our paper got accepted in ATVA 2023!
June 6, 2023
Successfully defended my PhD thesis!
Thesis: Design and Verification of Autonomous Systems in the Presence of Uncertainties.
Social Media Posts:
[Tweet]
[LinkedIn]
[Facebook]
[Instagram]
June 5, 2023
May 29, 2023
Our paper got accepted in RTCSA 2023!
October 12, 2022
October 1, 2022
September 14, 2022
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
California, The United States of America.
May 2, 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
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
/CPS_Monitoring_25/
/bineetkumarghosh/
/autmn_lab/