Laurie Ricker

Dr. Laurie Ricker is Professor and Computer Science Program Advisor in the Department of Mathematics and Computer Science at Mount Allison University. Her research specializes in formal methods for discrete-event systems, focusing on decentralized control, communication protocols, and security properties like opacity enforcement.

Her work develops theoretical frameworks for distributed supervisory control, addressing challenges in observability, communication delays, and coordination of decentralized agents. Recent publications advance verification algorithms for inferencing in supervisory control, mutual opacity in multi-adversary scenarios, and synthesis of communication protocols for pseudo-synchronous systems.

Key contributions include development of parity-based architectures for decentralized control, methods for opacity enforcement under powerful attackers, and robustness analysis of communication protocols with bounded delays. Dr. Ricker's work bridges theoretical foundations with practical applications in distributed systems security and control.