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, intellingent, 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.