Dr. Bineet Ghosh
Assistant Professor
Contact
- 3053 Cyber Hall
- phone (205) 348-6064
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
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.
Affiliated Areas
Computer Science
Selected 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).
Awards and Honors
- 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).