Associate Professor
Computer Science and Engineering (CSE), College of Engineering
Engineering Bldg, 428 S Shaw Ln Room 2138
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).
Ph.D., Michigan State University, 2009
M.Sc., Michigan State University, 2004
B.Sc., Univeristy of Esfahan, Iran, 1999
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"
http://cse.msu.edu/~borzoo/publications.html