I joined the Dept. of Computing and Software in August 2001. My doctorate was done with Prof. W.M. Wonham at the Systems Control Group, University of Toronto. My area of research is Discrete-Event Systems (DES). Particular areas of interest are Supervisory Control of DES, hierarchical structure, ...
I joined the Dept. of Computing and Software in August 2001. My doctorate was done with Prof. W.M. Wonham at the Systems Control Group, University of Toronto. My area of research is Discrete-Event Systems (DES). Particular areas of interest are Supervisory Control of DES, hierarchical structure, concurrency and implementation issues, and DES as software and hardware. I am also interested in hierarchical approaches to formal verification of software.