Skip to main content

Dr. Ryan Leduc

Graduate Advisor for Software Engineering

Department of Computing and Software

Associate Professor

Department of Computing and Software

Expertise:
Discrete-Event Systems (fault tolerance and detection, hierarchical structure, concurrency and implementation); Formal Verification of Hardware and Software
Areas of Specialization:
Research Clusters: