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
Interview with WKAR Radio about cyberattack on McLaren Health
MSU Today (ask an expert)
ISU Spring 2019 Dean's Lecture press release.
Recent Professional Activities
- ICCPS'24 PC member
- CAV'24 PC member
- ICCPS'23, PC member
- RV'23, PC member
- FM'23, PC member
- DISC'22, PC member
- RV'22, PC member
- SRDS'21, General Chair.
- OPODIS'21, PC member.
- RV'21, PC member.
- CAV'21, PC member.
- ATVA'21, PC member.
Books Edited
Department of Computer Science and Engineering
Michigan State University
2138 Engineering Building
East Lansing, MI, 48824-1226
USA
Michigan State University
2138 Engineering Building
East Lansing, MI, 48824-1226
USA
borzoo@msu.edu
+1 517-432-9239