Bhattacharyya, Siddhartha

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@kongtiao11.com.

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

Program Chair | Computer Science and Software Engineering

sbhattacharyya@kongtiao11.com
(321) 674-7473
Olin Engineering OEC 348

LinkedIn
Google Scholar
Research Website

Formal Methods, Machine Learning Eng., Digital Eng. Model Based Software/Systems Eng., Safe and Explainable AI, Cybersecurity, AI for healthcare, autonomous systems

Personal Overview

Siddhartha (Sid) Bhattacharyya’s primary area of research expertise/interest is in model based engineering, formal methods, machine learning engineering, and explainable AI applied to intelligent autonomous systems, cyber security, human factors, healthcare, explainable AI, and avionics. His research lab ASSIST (Assured Safety, Security, and Intent with Systematic Tactics) focuses on the research in the design of innovative formal methods to assure performance of intelligent systems, machine learning engineering to characterize intelligent systems for safety and model based engineering to analyze system behavior.

Before joining Florida Institute of Technology, he had been a Sr. Research Engineer at Rockwell Collins’ Advanced Technology Center where he was as a Principal 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.

Educational Background Professional Experience Current Courses Selected Publications

Selected Publications

Patent awarded

• S. Bhattacharyya, J. Davis, T. Vogl, and A. Mclean, “Verifiable autonomy: A step towards pilot’s license for autonomy”. Oct 2016.

Technical Reports:

• “Formal Verification of Quasi-Synchronous Systems” S. Miller, S. Bhattacharyya, C. Tinelli, S. Smolka, C. Sticksel, B. Meng, J. Yang. Final Technical Report, Air Force Research Laboratory, July 2015.

• “Certification Considerations for Adaptive Systems”, S. Bhattacharyya, D. Cofer, D. Musliner, J. Mueller, E. Engstrom, Final Technical Report, NASA Langley, March 2015.

Conference Proceedings and Presentations

M. Patel, S. Bhattacharyya, and A. Alfageeh, “Formal Trust Architecture for Assuring Trusted Interactions in the Internet of Things”, IEEE-UEMCON, Oct 2019.
A. Alfageeh, S. Bhattacharyya, S. J. Perl, and M. Patel, “Assurance for CyberSecurity with Assume-Guarantee Reasoning”, IEEE-UEMCON, Oct 2019.
S. Bhattacharyya, T. C. Eskridge, N. A. Neogi, M. Carvalho, and M. Stafford, “Formal Assurance for Cooperative Intelligent Autonomous Agents,” in NASA Formal Methods, vol. 10811, A. Dutle, C. Muñoz, and A. Narkawicz, Eds. Cham: Springer International Publishing, 2018, pp. 20–36.
“Formal Assurance for Cooperative Intelligent Autonomous Agents, ”S. Bhattacharyya, T. C. Eskridge, N. A. Neogi, M. Carvalho, and M. Stafford, in NASA Formal Methods, vol. 10811, A. Dutle, C. Muñoz, and A. Narkawicz, Eds. Cham: Springer International Publishing, 2018, pp. 20–36.
“Real-Time Server Overloaded Monitoring Algorithm Using Back Propagation Artificial Neural Network”, J, Choi, C. Shen, J. Hannemann, and S. Bhattacharyya, IEEE, 2017 IEEE 7th Annual Computing and Communication Workshop and Conference sponsored by IEEE.
“Certification Considerations for Adaptive Systems”, S. Bhattacharyya, D. Cofer, D. Musliner, J. Mueller, E. Engstrom. International Conference on Unmanned Aircraft Systems, 2015.
“Enhancing autonomy with trusted cognitive modeling”, S. Bhattacharyya, J. Davis, T. Vogl, M. Matessa, A. Mclean, L. Smith-Velazquez, Atlanta GA, Association of Unmanned Vehicle Systems Institute (AUVSI) May 2015.
“Verification of Quasi-Synchronous systems with Uppaal”, S. Bhattacharyya, S. Miller, J. Yuang, S. Smolka, B. Meng, C. Sticksel and C. Tinelli, Digital Avionics Systems Conference, Colorado Springs, CO, Oct 2014.
“Vibration monitoring and analysis using Wireless Sensor Networks to classify vehicles”, P. Garrity, S. Bhattacharyya, C. Shen, D. Dawadi, and B. Panja, International Intellectbase Consortium, Las Vegas, NV, Dec 16-18th 2010.
“A real-time logic verification for Wireless Sensor Network”, J. Green and S. Bhattacharyya, 2009 World Congress on Computer Science and Information Engineering 2009.
“Power system smart control and verification”, S. Bhattacharyya, J Nutaro, L. Miller, M. Shankar, and T. Kuruganti, IASTED Power and Energy Systems, April 2008.
“Automated Coordinator Synthesis Mission Control of Autonomous Underwater Vehicles”, S. Bhattacharyya, R.Kumar, S. Tangirala and L.E. Holloway, OCEANS 2007, MTS/IEEE-OES, Vancouver BC, Canada.
“Animation/ Simulation of Hybrid-Model based Hierarchical Mission Control Architecture for Autonomous Undersea Vehicles”, S. Bhattacharyya, R.Kumar, S.Tangirala, M.O’Connor, and L.E. Holloway, ACC 2006, Minneapolis, MN
“Hybrid-Model based Hierarchical Mission Control Architecture for Autonomous Undersea Vehicles: Verification”, M.O’Connor, S.Tangirala, R.Kumar, S. Bhattacharyya and L.E. Holloway, ACC 2006, Minneapolis, MN Journal articles

Research

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

"Modeling and Analysis Toolkit for Realizable Intrinsic Cognitive Security (MATRICS)", July2024-2027, DARPA
- Exploring the application of formal methods to prevent cognitive security attacks while using mixed reality systems
"Automated Data Labeling and Assurance for Autonomous Aircraft Vision System", July 2024-July 2025, NASA LaRC
- Exploring Transfer Learning for Vision-Based Classification by Autonomous Systems Across Domains
"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

Bhattacharyya, Siddhartha

Editing Help

Siddhartha Bhattacharyya

Contact Information

Expertise

Personal Overview

Educational Background

Professional Experience

Current Courses

Selected Publications

Research

Funded Research Projects