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.
He is a final year computer science student at BITS Pilani Dubai Campus and a visiting research scholar at the ASSIST Research Lab at Florida Institute of Technology. He has a strong interest in the fields of Machine Learning, Computer Vision, and Artificial Intelligence and is passionate about using these technologies to solve modern-day problems. He spends his free time working on data science projects on platforms like Kaggle, constantly honing his skills and knowledge. He is committed to creating innovative solutions and is driven to make a positive impact in the world through his work.
Parth Ganeriwala is a doctoral student in Computer Science at the Computer Engineering and Sciences Department, Florida Institute of Technology. He received his B.E in Computer Science from BITS Pilani, Dubai Campus. His research interests are in the area of Deep Learning, Transfer Learning, Artificial Intelligence, Formal Methods and Robotics. In his free time, he loves to play chess and solve sudoku puzzles.
Hemant is a PhD student in the College of Computer Engineering and Sciences at Florida Institute of Technology with a focus on Distributed Autonomous Systems and Smart Connected Communities with Cyber Security. He has received PhD (2015) as well as Masters (2011) in Electronics and Communication Engineering (with specialisation in Digital Communication) from MBM Engineering College, Jodhpur, India.
His research interests include optimization of resources using Data Interleaving Technique and its extension in assurance of effective communication amongst autonomous agents as well as Smart Connected Communities. He has also completed Professional Data Science Certification from HarvardX in 2020. He possesses expertise in Assembly Language Programming(8085 and 8086) and R Language. He has a teaching experience (Undergraduate Courses) of 16 years and 9 years (Masters) in Electronics and Communication Engineering in India.
He has expertise in teaching subjects like Electronic Devices and Circuits, Information Theory and Coding, Microprocessors (8085 and 8086), Digital Communication, Analog Electronics, Mobile Communication and Linear & Integrated Circuits. He is LMISTE (Life Member, Indian society for Technical Education) and also a member of IEEE Communication Society member (for 8 years). He has published his research work in various reputed Conferences in India, Spain, UK, Finland and USA (IEEE and Scopus) as well as in various Journals (Scopus indexed).
Mr. Jacobs is a System Integration, Test, and Evaluation Engineering management professional with significant experience in technical and functional leadership. Mr. Jacobs graduated with a Bachelor of Science in Electrical Engineering from the University of Texas at Arlington. Additional education includes a Master of Science in Electrical Engineering with a focus on Computer Engineering, Networking, and Communications from Southern Methodist University, Dallas, Texas and a Master of Science in Information Assurance and Cybersecurity from Florida Institute of Technology, Melbourne, FL. Research interests include designing, creating, and executing system security models for DoD platforms. These models define analysis, mitigation, and reporting process and procedure for aircraft and ground-based systems. Currently performing Ph.D. research in autonomous systems security modeling in both command and control security and heterogeneous interoperability. FAA certified Private Pilot and Aircraft Dispatcher.
Harshitha is a Ph.D. student in the college of Computer Engineering and Sciences at Florida with a focus on human machine interaction and formal methods verification. She received her M.S in Computer Science at Florida Tech.
Her research interests include assurance of autonomous agents by formal method verification techniques with human machine interaction and ethical decision making, Ontologies and Natural language processing.
Parneet Kaur is currently pursuing doctoral study in the Computer Engineering and Sciences Department, Florida Institute of Technology. She received her Master’s specialization in Digital Communication, Department of Electronics and Communication from MBM Engineering College in 2017.
She has worked as a Senior Engineer on Wi-Fi projects in Reliance Industries Limited. She also holds the research experience gained while working as Junior Research Fellow in Defence Research and Development Organization, India. She has published research papers in IEEE Conferences India as well as the USA. In her leisure time, she loves to listen to music and read books
Jacob Bowers is a doctoral student in Computer Science and researcher in the ASSIST laboratory at Florida Tech. He is the Principal Investigator (PI) for the Hybrid Systems for Systems Biology (HSSB) and Temporal Constraint Solver for Timed Automata (TSCTA) research efforts. His research focuses on developing new formalisms for applied modeling within the hybrid automata space and novel techniques for verifying automata. He is particularly interested in applying theoretical mathematics, such as abstract algebra and category theory, as a way of defining languages over hybrid automata to more concisely draw notions like bisimulation between them. He is also interested in using logical methods (such as the differential-dynamic logic as defined by A. Platzer) to deduce formal properties of hybrid automata, as well as temporal and modal logics in general. He was a summer bioinformatics researcher at the National Renewable Energy Laboratory (NREL) as well as an R&D intern at Sandia National Laboratories and a cyber analytics intern at MIT Lincoln Laboratory. He currently lives in San Francisco, California.
Mr. Gamble is a professional Systems Engineer with a background in software engineering and cybersecurity. He graduated with a B.S. in Computer Science from Clemson University and a M.S. in Cybersecurity from New York University. Mr. Gamble is currently pursuing a Ph.D. from the Florida Institute of Technology. Research interests include designing and developing secure platforms, risk and vulnerability analysis, and secure software development.
Rohit Menghani is an Aerospace Engineer currently pursuing a Master’s degree in Computer Engineering with a specialization in Machine Learning and AI. His research interest is in the field of autonomous UAV operations and swarm activities. At the ASSIST Lab, he is involved in simulating UAVs in Gazebo using ROS. He is also a GSA for Florida Tech's Center for Advanced Manufacturing and Innovative Design (CAMID). In his free time, he loves playing tennis and football.
Daniel Griessler is a Cyber Engineer at Raytheon Technologies where he works as a software engineer building, designing, and developing custom software solutions. He is currently pursuing his Master's Degree in Computer Science and has several research interests including cybersecurity, artificial intelligence, and compiler construction. Previously, Daniel worked as a Research Assistant with Dr. Bhattacharyya, Florida Institute of Technology, in collaboration with Dr. Neogi, NASA, performing design, verification, and validation of intelligent autonomous systems while he achieved his dual Undergraduate degrees in Computer Science and Mathematics.
Anubhav Gupta is a Research Professional at the Computer Engineering and Sciences Department, Florida Institute of Technology. He received his B.E in Computer Science from BITS Pilani, Dubai Campus. His research interests are in the area of Intelligent Autonomous Systems, Deep Learning and Formal Methods. In his free time he loves to play chess.
Sarah Arends is a research professional in the Computer Engineering and Sciences Department at Florida Institute of Technology. She received her bachelor's degrees in physics and mathematical sciences, before transitioning to computer science for a master's degree. Her research interests include mathematical modeling, computational physics, and related fields. Sarah is currently conducting research on model based systems engineering with the ASSIST research lab.
Ali Alfageeh’s primary area of research interest is in model-based engineering/architectural analysis with formal methods for the design, verification and validation of intelligent autonomous systems, cybersecurity, explainable AI.
Presently, he is working as a lecturer at the college of computing at Alqunfuthah, Umm Alqura University.
Before that he worked as a business analyst in the healthcare sector. Also, he worked as business development and innovation analyst at Saudi Basic Industries Corporation (SABIC).
Milan's primary inclination of research during his master thesis was to understand and come up with an approach to explain the Digital trust relationship-building process between IoT devices using a formal/ontological approach.
He implemented the Trust relationship theory to create a Java-based Simulator which used to evaluate IoT device properties based on provided info to give a reasonable response about its trustworthiness based on pre-set conditions which can be helpful for a new device that joins the existing network to initiate the data communication flow between pre-existing device inside the network. He published a research paper in IEEE journal under Dr. Bhattacharya's tutelage.
Currently, he is working for Revel systems as a CloudOps (DevOps) Engineer. Milan is an AWS Certified Cloud Solution Architect and his daily duties include building CiCD workflow on AWS/Azure cloud platform, automate the Legacy application deployment (which is used by more than 25k plus restaurant clients) by executing Ansible PlayBooks, manage Kubernetes/Docker Clusters on AWS to support static availability and elasticity. He also designed and implemented cloud infrastructure for clients using Terraform platform and integrated it with DataDog and PagerDuty for data analytics and real-time incident monitoring.
© Florida Institute of Technology, All Rights Reserved