Borzoo Bonakdarpour

Contact Information

Engineering Bldg.
428 S Shaw Ln
Room: 2138
East Lansing , MI 48824

(517) 353-3148

borzoo@msu.edu

Faculty Website

Associate Professor

Computer Science and Engineering

Biography

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).

Education

  • Ph.D., Michigan State University, 2009
  • M.Sc., Michigan State University, 2004
  • B.Sc., Univeristy of Esfahan, Iran, 1999

Research Interests

  • Formal Methods
  • Security and Privacy
  • Cyber-Physical Systems
  • Distributed Computing

Awards

  • 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

News