Borzoo Bonakdarpour’s research interests include formal methods, security/privacy, cyber-physical systems, and distributed computing. Prior to joining MSU he was an assistant professor in the Department of Computer Science at Iowa State University. His research has been funded by NSF and NSERC (Canada).
IEEE SRDS 2017 Best Paper Award
SSS 2014 Best Student Paper Award
IEEE SIES 2010 Best Paper Award
Best Paper Award runner up or finalist at EMSOFT'19, ATVA'19, EMSOFT'11, EMSOFT'09, ICDCS'07
Ph.D., Michigan State University, 2009
M.Sc., Michigan State University, 2004
B.Sc., Univeristy of Esfahan, Iran, 1999