 |
 |
Waterloo Formal Methods |
Mathematical Methods for Engineering Computer-Based Systems |
|
|
Waterloo Formal Methods |
Mathematical Methods for Engineering Computer-Based Systems |
WATFORM is a joint research group of the School of Computer Science and Department of Electrical and Computer Engineering at the University of Waterloo. We study formal methods and their applications for discrete event control systems, hardware designs at varying levels of abstraction, and software engineering.
 Mark Aagaard E&CE |
 Jo Atlee CS |
 John Brzozowski CS |
 Nancy Day CS |
 John Thistle E&CE |
 Richard Trefler CS |
 Vlad Ciubotariu CS |
 Shahram Esmaeilsabzali CS |
 Kenn Heinrich E&CE |
 Alma Juarez-Dominguez CS |
 Farzad Khalvati E&CE |
 Zarrin Langari CS |
 Yuan Peng CS |
 Siamak Nazari E&CE |
 Hazem Shehata E&CE |
 Pouria Shaker CS |
 Ali Taleghani CS |
 Ann Zimmer CS |