About
Dr. Ryan Leduc is an Associate Professor at the Department of Computing and Software within McMaster University's Faculty of Engineering. He holds degrees of B.Eng (Victoria), M.A.Sc. (Toronto), and Ph.D. (Toronto). His research focuses on Discrete-Event Systems (DES), particularly in Supervisory Control, Hierarchical Structures, Concurrency, and Formal Verification of software and hardware. He has developed the DESpot software tool for hierarchical DES research.
0Publications listed
Find Ryan Leduc elsewhere
Related Searches
You Might Also Like
Richard St-DenisUniversity of Sherbrooke · Associate Professor
John ThistleUniversity of Waterloo · Associate Professor
Jason JaskolkaCarleton University · Associate Professor
Ugo BuyUniversity of Illinois Chicago · Associate Professor
Germano SchafaschekMax Planck Institute for Software Systems · Researcher
Theodore S. NorvellMemorial University of Newfoundland · Associate Professor