Welcome to the SeDIS Laboratory
Baylor University
Department of Electrical & Computer Engineering
Secured and Dependable Intelligent Systems (SeDIS) Lab
The Secured and Dependable Intelligent Systems (SeDIS) lab in the Department of Electrical and Computer Engineering Department of Baylor University is directed by Prof. Ernest Bonnah and located in the Baylor Research and Innovation Collaborative (BRIC) building. The SeDIS Laboratory focuses on investigating and proposing theories, methods, tools, and protocols for supporting modeling, design, formal verification and securing complex, intelligent, and dependable embedded as well as cyber-physical systems (CPS). The primary aim of SeDIS lab is to enhance the quality of service, reliability, safety, and security of complex computing systems.
In the SeDIS Lab, we conduct interdisciplinary cutting-edge research in the specific areas of
- Formal Verification & Cyber-Physical Systems
- Explainable AI for Robotic/Autonomous Systems Failures
- Security of Internet of Autonomous Things (IoAT) and Edge/Network
Recent News
March, 2026
Paper Accepted
Our paper ‘NeuroLTL2NL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic’ has been accepted for presentation at the 46th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2026) to be held in Urbino, Italy. Congratulations Paapa!
January, 2026
Paper Accepted
Our paper ‘VERIFY: A Novel Multi-Domain Dataset Grounding LTL in Contextual Natural Language via Provable Intermediate Logic’ has been accepted for presentation at the 14th International Conference on Learning Representations(ICLR 2026) to be held in Rio de Janeiro, Brazil. Congratulations Paapa!