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/