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