Assistant Professor,
Department of Computer Science,
The University of Alabama.

[Update] Thrilled and honored to be named a Hewson Engineering Faculty Fellow (2024) at The University of Alabama!


About Me

Personal Details

I am an Assistant Professor in the Department of Computer Science at The University of Alabama starting from Fall 2023. My primary research revolves around Trustworthy Autonomy - its Design and Verification. This area of research lies at the intersection of Formal Methods, Real-Time and Embedded Systems, and Control Theory, with practical applications in Robotics, Automotive, Industrial, and Home Automation Systems. Check out the research page for details.

At UA, I lead the AutMn: Trustworthy Autonomy Lab ("It's AutMn at UA!") where we dedicate our efforts to designing and verifying autonomous systems. Our main objective is to ensure the safety and correctness of autonomous systems with complex dynamics in the presence of uncertainties. We propose solutions to design autonomous systems that achieve performance optimality by leveraging heterogenous, distributed and cloud computing resources. We strive to incorporate intelligence, bridge the gap between models and their implementations, and tackle other related complexities. To learn more about our research, please visit our lab's webpage (or my research page).
 /autmn/

I obtained my PhD in Computer Science at The University of North Carolina at Chapel Hill. I hold a B. Sc. degree (First class First with Gold Medal—equivalent to Summa Cum Laude) from Ramakrishna Mission Vidyamandira and an M. Sc. degree in Computer Science from Chennai Mathematical Institute.

Previously, I was a Software Developer at Oracle, and a research intern at Tata Research Lab, Kolkata.

Lately, I am trying to start a pilot initiative aimed at creating teaser videos (whenever I find time) of our lab's research. The primary objective of this is to expand our reach and connect with a wider audience, including high-school students, to encourage them in STEM subjects. This initiative would also be helpful to establish connections with students, practitioners, and scientists from diverse research areas, encouraging interdisciplinary collaboration and the exchange of innovative ideas. These teaser videos draw inspiration from the increasing trend of short-form video content, incorporating interesting effects and music, making them accessible to a broader. If you are interested and would like to explore the content, please feel free to connect.

 /bineetkumarghosh/                          /BineetGhosh3/                          /autmn.lab/                          /autmn_lab/

Research Interests

"Imagination is the highest form of research"

Trustworthy Autonomy

Formal Methods

Safe Robotics

Cyber-Physical Systems

Control Theory

Real-Time and Embedded Systems

Broad interest lies in Trustworthy Autonomy — Design and Verification, 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. Check out the research page for details.

Trustworthy Autonomy

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. Check out the research page for details, and my list of publications here.