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.

[Faculty] [Students] [Alumni] [Group Meetings] [Research Overview]
[Publications] [Projects] [Grad Courses] [Picture Gallery]

Faculty


Mark Aagaard
E&CE

Jo Atlee
CS

John Brzozowski
CS

Nancy Day
CS

John Thistle
E&CE

Richard Trefler
CS

Graduate Students


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


Last updated: 2007 Apr 18
Questions or comments about this page may be directed to the WatForm webmaster.