Dr. Ryan Leduc – Faculty of Engineering
Ryan Leduc

Dr. Ryan Leduc

Expertise

Discrete-event systems (fault tolerance and detection, hierarchical structure, concurrency and implementation), formal verification of hardware and software

Areas of Specialization

Research Clusters

  • Associate Professor

    Computing and Software