Ahmed Rezine

Associate Professor, Linköping University

  • Joined February 2024

Names

Ahmed Rezine (Preferred)

Emails

****@liu.se (Confirmed)

Personal Links

Career & Education History

Associate Professor
Linköping University (liu.se)
2018 – Present
 

Advisors, Relations & Conflicts

PhD Advisor
Parosh Aziz Abdulla
2003 – 2008
 

Expertise

Verification of DNNs
2020 – Present
 
Software verification
2010 – Present
 
Verification of parameterized systems
2003 – Present
 

OpenReview is a long-term project to advance science through improved peer review with legal nonprofit status. We gratefully acknowledge the support of the OpenReview Sponsors. © 2025 OpenReview