
Associate Professor -- Director
Biography:
Curriculum Vitae
CV is available here.
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
- 2022 Withrow Excellence Award in Teaching
- 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 2022)
- Graduate-level Computer and Network Security (CSE 825)
- Undergraduate-level Discrete Structures in Computer Science (CSE 260)
From the Press
MSU Today (ask an expert)
ISU Spring 2019 Dean's Lecture press release.
Professional Activities
Homepage:
borzoo@msu.edu
+1 517-432-9239