MENU
Sky View Through an Archway on Campus

Editing Help

Please reference the Faculty Profile Editing Guide if you have any questions or issues updating your profile. If you receive any error notices please contact webservices@planetaprodental.com.

Siddhartha Bhattacharyya

Associate Professor | College of Engineering and Science: Department of Electrical Engineering and Computer Science

Program Chair | Computer Science and Software Engineering

Contact Information

Personal Overview

Siddhartha (Sid) Bhattacharyya’s primary area of research expertise/interest is in model based engineering/architectural analysis with formal methods for the design, verification and validation of intelligent autonomous systems, cyber security, explainable AI, smart power grid, systems biology and avionics. His research lab ASSIST (Assured Safety, Security and Intent with Systematic Tactics) focuses on the design/development and application of innovative formal methods to assure the performance of intelligent systems, formally verify correctness or predict future behavior as it evolves.

Before joining Florida Institute of Technology, he had been a Sr. Research Engineer at Rockwell Collins’ Advanced Technology Center where he was as a Principle Investigator and researcher on research programs with National Aeronautics Space Administration (NASA), Defense Advanced Research Project Agency (DARPA), Air Force Research Lab (AFRL) and Office of Naval Research (ONR). He also worked in several collaborative efforts on model based engineering and analysis with Honeywell, Boeing, Lockheed Martin, Software Engineering Institute Carnegie Melon University and MIT Lincoln Lab. Prior to that, he had been leading efforts in the area of Software Engineering/Formal Methods and developing new program as a tenured faculty and Interim Chair of the Division of Computer Science at Kentucky State University. He was a summer research fellow at Applied Research Laboratory at Pennsylvania State University where he worked on the design, verification, simulation and synthesis of mission control for autonomous underwater vehicles. He also worked as summer faculty fellow at Oak Ridge National Laboratory where he developed methods for design and analysis of the complex smart power grid. 

Research & Project Interests

Formal Methods,

Model-Based Software/System Design and Engineering,

Mission Control for Autonomous System,  

Cyber Security,

Assured Autonomy,

Safe and Explainable AI,

AI for healthcare

Funded Research Projects

  • "Digital Engineering - Integration of Fiber Optics Systems Design, Supportability, and Maintainability", with CFD
    • Exploring Model Based Systems Engineering for the design and analysis of Fiber Optic systems.
  • “Assured Human-Machine Interaction for Increasingly Autonomous Systems”, Feb 2020-Dec 2023, NASA LaRC.
    • Exploring design and assurance of autonomous agents deployed for Urban Air Mobility
  • “A Multidisciplinary Approach to Internet-of-Things (IoT) Cybersecurity Research to Develop the Research Capacity of ROTC Students”, May 2020-August 2021, ONR.
    • Exploring generation of cybersecurity strategies with formal approaches to model and analyze IOT 
  • “Model-Based Systems Engineering for Tactical Data Link Systems”,  August 2021, ONR.
    • Exploring the automated analysis of heterogeneous systems integrated to meet mission objectives