Bhattacharyya, Siddhartha
Siddhartha Bhattacharyya
Associate Professor | College of Engineering and Science - Electrical Engineering and Computer Science
Contact Information
Personal Overview
Siddhartha (Sid) Bhattacharyya鈥檚 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 澳门100%最准一肖一码, 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.
Educational Background
Phd, University of Kenctucky, Lexington KY, USA, 2005
Msc, Iowa State University, Ames, IA, USA, 2003
B.E, BIT Mesra, India, 2001
Professional Experience
Sr. Research Engineer, Rockwell Collins, 2013-2016
Faculty, Kentucky State University, 2005-2012
Current Courses
Software Design Methods
Model Based Software Engineering
Advanced Software Engineering
Selected Publications
Patent awarded
鈥 S. Bhattacharyya, J. Davis, T. Vogl, and A. Mclean, 鈥淰erifiable autonomy: A step towards pilot鈥檚 license for autonomy鈥. Oct 2016.
Technical Reports:
鈥 鈥淔ormal 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.
鈥 鈥淐ertification 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, 鈥淔ormal 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, 鈥淎ssurance for CyberSecurity with Assume-Guarantee Reasoning鈥, IEEE-UEMCON, Oct 2019.
- S. Bhattacharyya, T. C. Eskridge, N. A. Neogi, M. Carvalho, and M. Stafford, 鈥淔ormal 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.
- 鈥淔ormal Assurance for Cooperative Intelligent Autonomous Agents, 鈥漇. 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.
- 鈥淩eal-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.
- 鈥淐ertification Considerations for Adaptive Systems鈥, S. Bhattacharyya, D. Cofer, D. Musliner, J. Mueller, E. Engstrom. International Conference on Unmanned Aircraft Systems, 2015.
- 鈥淓nhancing 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.
- 鈥淰erification 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.
- 鈥淰ibration 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.
- 鈥淎 real-time logic verification for Wireless Sensor Network鈥, J. Green and S. Bhattacharyya, 2009 World Congress on Computer Science and Information Engineering 2009.
- 鈥淧ower system smart control and verification鈥, S. Bhattacharyya, J Nutaro, L. Miller, M. Shankar, and T. Kuruganti, IASTED Power and Energy Systems, April 2008.
- 鈥淎utomated 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.
- 鈥淎nimation/ Simulation of Hybrid-Model based Hierarchical Mission Control Architecture for Autonomous Undersea Vehicles鈥, S. Bhattacharyya, R.Kumar, S.Tangirala, M.O鈥機onnor, and L.E. Holloway, ACC 2006, Minneapolis, MN
- 鈥淗ybrid-Model based Hierarchical Mission Control Architecture for Autonomous Undersea Vehicles: Verification鈥, M.O鈥機onnor, S.Tangirala, R.Kumar, S. Bhattacharyya and L.E. Holloway, ACC 2006, Minneapolis, MN Journal articles
Research & Project Interests
Formal Methods,
Model-Based Software/System Design and Engineering,
Mission Control for Autonomous System,
Cyber Security,
Assured Autonomy,
Explainable AI,
Systems Biology
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.
- 鈥淎ssured 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
- 鈥淎 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
- 鈥淢odel-Based Systems Engineering for Tactical Data Link Systems鈥, August 2021, ONR.
- Exploring the automated analysis of heterogeneous systems integrated to meet mission objectives