Picture of Dr. Bineet Ghosh

Assistant Professor

Computer Science

3053 Cyber Hall
 (205) 348-6064
 Send Email
 News Articles

Education

PhD, Computer Science, The University of North Carolina at Chapel Hill, 2023
M. Sc., Computer Science, Chennai Mathematical Institute, 2016
B. Sc., Computer Science, Ramakrishna Mission Vidyamandira, May 2014

Biography

Dr. Bineet Ghosh is an Assistant Professor of Computer Science at The University of Alabama. He completed his PhD in Computer Science from The University of North Carolina at Chapel Hill in Summer 2023. At UA, he leads the Trustworthy Autonomy lab, where techniques for designing and verifying autonomous systems are developed. Previously, he has held positions as a research intern at Tata Research Labs and a software developer at Oracle.

His research on “Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties” was selected for Best Paper Candidate at International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) 2022. He also earned the Best Presentation Award in the ACM SIGBED Student Research Competition (2022) for his research on “Design and Verification of Autonomous System Controllers Under Time Uncertainties”.

Prior to attending UNC Chapel Hill, he received an M. Sc. in Computer Science from Chennai Mathematical Institute and a B. Sc. (First class First with Gold Medal) from Ramakrishna Mission Vidyamandira. He was also a recipient of the Chateaubriand Fellowship (2021), a grant offered by the Embassy of France in the United States to outstanding PhD students from U.S. institutions who wish to conduct part of their doctoral research in France.

Honors and Awards

  • Accepted to the ACM SIGBED Student Research Competition—Best Presentation Award 2022.
  • Best Paper Candidate at IEEE International Conference on Embedded and Real-Time Computing Systems (RTCSA) 2022.
  • Selected for Eleventh Summer School on Formal Techniques (2022).
  • Chateaubriand Fellowship 2021. Offered by the Embassy of France in the United States.
  • 3rd position in Oracle Retail Science Fair 2017.
  • Gold Medal. May 2014. For securing first class first in B. Sc. Computer Science (Hons).

Areas of Research

Latest Publications

  • Ghosh, B., André, É. (2023). MoULDyS: Monitoring of Autonomous Systems Under the Presence of Uncertainties. Software Track of Science of Computer Programming.
  • Xu. S., Ghosh, B., Hobbs, C., Thiagarajan, Fraccaroli, E., Duggirala, P.S., Chakraborty, S. (2023). Safety-aware Implementation of Control Tasks via Period Boosting and Compressing. International Symposium on Automated Technology for Verification and Analysis (ATVA).
  • Ghosh, B., Hobbs, C., Xu, S., Duggirala, P.S., Anderson, J., Thiagarajan, P. S., Chakraborty, S. (2022). Quantitative Safety Verification of Autonomous Systems under Timing Uncertainties using Statistical Hypothesis Testing. International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). Best Paper Candidate. Invited for an extension in Real-Time Systems journal.
  • Ghosh, B., André, É. (2022). Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems. International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE). Invited for an extension in LMCS journal.
  • Ghosh, B., Chinchali, S., Duggirala, P. S. (2021). Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency. International Conference on Intelligent Robots and Systems (IROS).