Presenter
Endri Kaja
Biography
Endri Kaja has received his Masters degree from TU Kaiserslautern, Germany in 2020. Endri Kaja is currently working towards his PhD and his research interests include formal verification and safety analysis of hardware designs.
Presentations
Research Manuscript
EDA
Design Verification and Validation
In-Person Only