Brings enthusiasm and expertise to class.
This comment is not public.
Borzoo Bonakdarpour is an Associate Professor in the Department of Computer Science and Engineering at Michigan State University, a position he has held since 2020. He received his Ph.D. in Computer Science from Michigan State University in 2009, M.Sc. in Computer Science from the same university in 2004, and B.Sc. in Computer Engineering from the University of Esfahan, Iran, in 1999. His academic career includes service as Assistant Professor in the Department of Computer Science at Iowa State University from 2018 to 2020, Assistant Professor in Computing and Software at McMaster University from 2014 to 2018, Research Assistant Professor in the School of Computer Science at the University of Waterloo from 2011 to 2014, and Post-doctoral Researcher at Verimag Laboratory in France from 2009 to 2011. Bonakdarpour's research focuses on formal methods, security and privacy, cyber-physical systems, and distributed computing. His work has been funded by the National Science Foundation (NSF) and the Natural Sciences and Engineering Research Council (NSERC) of Canada.
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.

Photo by Osarugue Igbinoba on Unsplash
Have a story or a research paper to share? Become a contributor and publish your work on AcademicJobs.com.
Submit your Research - Make it Global News