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