教育背景

2005年，美国肯塔基州列克星敦肯塔基大学博士

2003年，美国爱荷华州立大学艾姆斯分校理学硕士

B.E, BIT Mesra，印度，2001

专业经验

Sr. 罗克韦尔柯林斯公司研究工程师，2013-2016

2005-2012年，肯塔基州立大学教职员

当前的课程

软件设计方法

基于模型的软件工程

高级软件工程

选定的出版物

专利授予

• S. Bhattacharyya J. 戴维斯,T. Vogl和A. 麦克莱恩，《亚洲博彩平台》. 2016年10月.

技术报告:

“准同步系统的形式化验证”S. 米勒,年代. Bhattacharyya C. Tinelli,年代. Smolka C. Sticksel B. 孟,J. Yang. 最终技术报告，空军研究实验室，2015年7月.

•“自适应系统的认证考虑”，S. Bhattacharyya D. 高于D. 棉布,J. 穆勒,E. Engstrom，最终技术报告，NASA兰利，2015年3月.

会议记录及简报

• M. 帕特尔,年代. 巴塔查里亚和A. Alfageeh, 确保物联网中可信交互的正式信任架构, IEEE-UEMCON, 2019年10月.
• A. Alfageeh,年代. Bhattacharyya,年代. J. Perl和M. 帕特尔，“基于假设-保证推理的网络安全保障”，IEEE-UEMCON， 2019年10月.
• S. Bhattacharyya T. C. N Eskridge,说道. A. 公司,M. 卡瓦略和M. 斯塔福德, 协作智能自治代理的形式保证,，见NASA正式方法, vol. 10811, A. Dutle C. Muñoz， A. Narkawicz, Eds. Cham: Springer International Publishing, 2018, pp. 20–36.
• “协作智能自治代理的形式保证”，S. Bhattacharyya T. C. N Eskridge,说道. A. 公司,M. 卡瓦略和M. 斯塔福德，《亚洲博彩平台》，卷. 10811, A. Dutle C. Muñoz， A. Narkawicz, Eds. Cham: Springer International Publishing, 2018, pp. 20–36.
• 基于反向传播人工神经网络的服务器过载实时监控算法, J, Choi, C. 沈J. Hannemann和S. Bhattacharyya, IEEE, 由IEEE主办的2017 IEEE第七届计算与通信年度研讨会暨会议.
• “自适应系统的认证考虑”，S. Bhattacharyya D. 高于D. 棉布,J. 穆勒,E. Engstrom. 无人机系统国际会议，2015.
• “基于可信认知模型的自主性增强”，S. Bhattacharyya J. 戴维斯,T. Vogl, M. Matessa,. 麦克莱恩,我. Smith-Velazquez，亚特兰大，GA，无人驾驶车辆系统研究所（AUVSI）协会，2015年5月.
• “准同步系统的验证”，S. Bhattacharyya,年代. 米勒,J. Yuang,年代. Smolka B. 孟,C. Sticksel和C. 数字航空电子系统会议，科罗拉多斯普林斯，2014年10月.
• “基于无线传感器网络的车辆振动监测与分析”，P. Garrity年代. Bhattacharyya C. 沈,D. 达瓦迪和B. 潘佳，国际智库联盟，拉斯维加斯，2010年12月16-18日.
• 无线传感器网络的实时逻辑验证[J]. 绿色和S. Bhattacharyya， 2009世界计算机科学与信息工程大会.
• “电力系统智能控制与验证”，S. Bhattacharyya J Nutaro， L. 米勒,米. 尚卡尔和T. Kuruganti, iastpower and Energy Systems， 2008年4月.
• “自主水下航行器的自动协调综合任务控制”，S. Bhattacharyya R.Kumar年代. Tangirala和L.E. 霍洛威，海洋2007，MTS/IEEE-OES，温哥华，加拿大.
• 基于混合模型的自主水下航行器分层任务控制体系结构的动画/仿真, S. Bhattacharyya R.Kumar年代.Tangirala, M.奥康纳和L.E. Holloway, ACC 2006, Minneapolis， MN
• 基于混合模型的自主水下航行器分层任务控制体系结构：验证, M.奥康纳,年代.Tangirala R.Kumar年代. 巴塔查里亚和L.E. Holloway, ACC 2006, Minneapolis， MN期刊文章