My students, post-docs, and research associates are members of the Waterloo Formal Methods Group (WatForm), which is a joint Computer Science and Electrical Computer Engineering research group that investigates mathematical methods to aid in the design and verification of software systems.

Current Students and Post Docs
Sandy Beidu (PhD student)
Rafael Olaechea (PhD student)
Rob Hackman (MSc student)
Rafael Toledo (PhD student)

Graduated PhD Students (Current locations)
Parsa Pourali (Huawei)
Pourya Shaker (Amazon)
Ali Taleghani (Lyft)
P. Ann Zimmer (Google)
Jianwei Niu (Professor, UT San Antonio)
David Mason (Professor, Ryerson University)

Graduated Masters Students (Current locations)
Bryan Muscedere (IBM)
Chi Zhang (Ecopia.AI)
Zhaoyi Luo (Microsoft)
Olivia Xiaoni Lai (Google)
Cecylia Bocovich (Visiting Researcher at Waterloo, Tor)
David Dietrich (Google)
Divya Nair
Tejas Kajarekar (Symantec)
Ana Krulec (Google)
Yuan Peng
Adam Prout (MemSQL)
Irwin Kwan (MathWorks)
Yinghua Jia (Google)
Meyer Tanuan (Professor, Conestoga)
Colleen Ritchie
James Keast (Blackberry)
Saheem Siddiqi (Univeris)
Mark Adams
Jianhan Guo (NVIDIA)
Nancy Moussa
Y. George Guo
Maggie Cai (VMware)
Pansy Au
Keith Pomakis (CubeWerx)
Sreemani Tirumale (Impetus)

Former Post Docs / Research Engineers (Current locations)
Ian Davis (retired)
Hadi Zibaeenejad (Molex)
Shohan Ben-David
Pourya Shaker (Amazon)
Michal Antkiewicz (U. Waterloo)
Borzoo Bonakdarpour (Iowa State University)