Tehran Institute for Advanced Studies (TEIAS)

/ Paper Acceptance at CAV 2025

hojjat

Paper Acceptance at CAV 2025

We are proud to announce that Hossein Hojjat, a faculty member at TEIAS/Khatam, has co-authored a paper accepted at CAV 2025 (the International Conference on Computer-Aided Verification), in collaboration with researchers from New York University (NYU) and Uppsala University. CAV is the premier A* flagship conference dedicated to advancing the theory and practice of formal…

Read More