Borzoo Bonakdarpour

Borzoo Bonakdarpour

Assistant Professor
McMaster University

Borzoo Bonakdarpour is currently an assistant professor at the Department of Computing and Software at McMaster University, Canada.  His research interests include runtime monitoring of distributed systems and security/privacy policies, power-aware algorithms, and model synthesis. His work in these areas have received multiple best paper awards and nominations from highly prestigious conferences. He is the main developer of the tool SYCRAFT which is capable of synthesizing  fault-tolerant distributed protocols of size 10^80 reachable states  and beyond. His Ph.D. dissertation, "Automated Revision of Distributed  and Real-Time Programs", was nominated for the 2010 ACM Doctoral Dissertation Award. He has also received two Best Paper Awards from SSS'14 and SIES'10 conferences.