OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Amirreza Alavi
PhD student, Computer Science College of Engineering and Applied Science, University of Colorado at Boulder
Joined
September 2025
Names
Amirreza Alavi
(Preferred)
,
Seyedamirreza Alavi
Emails
****@colorado.edu
(Confirmed)
Personal Links
Homepage
Google Scholar
ORCID
Career & Education History
PhD student
Computer Science College of Engineering and Applied Science,
University of Colorado at Boulder
(colorado.edu)
2024
–
Present
Advisors, Relations & Conflicts
PhD Advisor
Majid Zamani
2024
–
Present
PhD Advisor
Saber Jafarpour
2024
–
Present
Coauthor
Alireza Nadali
2024
–
Present
Expertise
Formal Verification
2024
–
Present
Machine Learning
2018
–
Present
Control Theory
2017
–
Present
Publications
Neural Barrier Certificates for Monotone Systems
Amirreza Alavi
,
Alireza Nadali
,
Majid Zamani
,
Saber Jafarpour
IEEE Control Systems Letters
Readers:
Everyone
Co-Authors
Alireza Nadali
Majid Zamani
Saber Jafarpour