Borzoo Bonakdarpour (Preferred)
Borzoo Bonakdarpour
Associate Professor, Computer Science and Engineering, Michigan State University
Joined
May 2025
Names
Emails
****@msu.edu (Confirmed)
Personal Links
Career & Education History
Associate Professor
Computer Science and Engineering, Michigan State University (msu.edu)
2020 – Present
Advisors, Relations & Conflicts
Expertise
Formal reasoning
2002 – 2025
Publications
Co-Authors
- Aaron Jonckheere
- Ahlem Triki
- Akhil Krishnan
- Ali Ebnenasir
- Ananda Basu
- Anh-Duy Vu
- Anik Momtaz
- Anish Arora
- Arne Storjohann
- Arshia Rafieioskouei
- Axel Legay
- Barry L. Rountree
- Benjamin Schornstein
- Bernd Finkbeiner
- Charles Koll
- Christian Colombo
- Chun Wah Wallace Wu
- Corentin Travers
- César Sánchez
- Daniel Thoma
- David A. Rosenblueth
- Deepak Kumar
- Dejan Nickovic
- Doron A. Peled
- Erika Ábrahám