Borzoo Bonakdarpour
Assistant Professor
Cheriton School of Computer Science
University of Waterloo
Canada
Biography
Dr. Borzoo Bonakdarpour is an Assistant Professor in the Cheriton School of Computer Science, University of Waterloo, University Avenue West, Waterloo, ON, Canada.
Research Interest
Dr. Borzoo Bonakdarpour Research interest includes Distributed Computing · Security and privacy · Runtime monitoring and control · Dependable cyber-physical systems · Formal methods and logic
Publications
-
Fathiyeh Faghih, Borzoo Bonakdarpour, Sandeep Kulkarni, and Sebastien Tixeuil. Specification-based Synthesis of Distributed Self-stabilizing Protocols. In Logical Methods in Computer Science (LMCS),
