Rate My Professor Borzoo Borzoo

Bonakdarpour has earned numerous accolades for his contributions, including the IEEE Symposium on Reliable Distributed Systems (SRDS) 2017 Best Paper Award, IEEE International Conference on Industrial Embedded Systems (SIES) 2010 Best Paper Award, Stabilization, Safety, and Security of Distributed Systems (SSS) 2014 Best Student Paper Award, and Best Paper Award finalist or runner-up at conferences such as Embedded Software (EMSOFT) 2019, Automated Technology for Verification and Analysis (ATVA) 2019, EMSOFT 2011, and International Conference on Distributed Computing Systems (ICDCS) 2007. His influential publications include "Synthesizing Optimal Bias in Randomized Self-Stabilization" in Distributed Computing (to appear 2024), "Gray-box Monitoring of Hyperproperties with Application in Privacy" in Formal Methods in System Design (to appear 2024), "Statistical Verification of Hyperproperties for Cyber-Physical Systems" in ACM Transactions on Embedded Computing Systems (2019), "Decentralized Runtime Verification of LTL Specifications in Distributed Systems" (2015, over 100 citations), and "Runtime Verification of k-Safety Hyperproperties in HyperLTL" (2016, 101 citations). Bonakdarpour has held leadership roles such as General Chair of SRDS 2021, Program Committee Chair of SRDS 2020, and program committee member for CAV, Runtime Verification (RV), SSS, and EMSOFT. He has also served as guest editor for special issues in Formal Methods in System Design and Theory of Computing Systems.