Siamak Nazari
PhD Candidate in ECE department,
University of Waterloo
Member of Waterloo Formal
Methods Research Group (Watform)
Completed M.A.Sc. in ECE
department, University of Waterloo
Completed B.Sc. in EE
department, Sharif University of
Technology