
Associate Professor -- Director
Biography:
Research Interests
I am currently an Associate Professor with the Department of Computer Science and Engineering at Michigan State University. I am broadly interested in the application of automated formal methods in:
- Security/Privacy
- Cyber-physical Systems
- Distributed Computing
Awards & Recognition
- RV 2021 Best Paper Award
- 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
- ISU LAS Spring 2019 Dean's Lecture
- Best Professor Award by the McMaster Software Engineering Club, 2017
Teaching (Fall 2021)
- Graduate-level course Computer and Network Security (CSE 825)
Professional Activities
Homepage:
borzoo@msu.edu