Photo not available.

Assistant Professor

Computer Science

3440 Science and Engineering Complex
 (205) 348-6064
 Send Email
 News Articles


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


Autonomous Systems offer hope towards moving away from mechanized, unsafe, manual, often inefficient practices. The last decade has seen several small, but important, steps towards making this dream into reality. These advancements have helped us to achieve limited autonomy in several places, such as, driving, factory floors, surgeries, wearables, and home assistants, etc. Nevertheless, autonomous systems are required to operate in a wide range of environments with uncertainties (viz., sensor errors, timing errors, dynamic nature of the environment, etc.). Such environmental uncertainties, even when present in small amounts, can have drastic impact on the safety of the system—thus hampering the goal of achieving higher degree of autonomy, especially in safety critical domains.

To this end, my research is on developing formal techniques that can verify and design autonomous systems for safety, even under the presence of such uncertainties, allowing for their trustworthy deployment in the real world. This area of research can be referred to as Trustworthy Autonomy, which lies at the intersection of Formal Methods, Real-Time and Embedded Systems, Control Theory with applications in Robotics, Automotive, Industrial and Home Automation Systems.

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).