Tehran Institute for Advanced Studies (TEIAS)

/ Distinguished Artifact Award at ETAPS 2025 Conference

hojjat

Distinguished Artifact Award at ETAPS 2025 Conference

Paper titled “Compositional Learning for Synchronous Parallel Automata” by TEIAS/Khatam faculty Dr. Hossein Hojjat (with collaborators Dr. Mahboubeh Samadi and Aryan Bastany) has been accepted as the first paper at ETAPS conference with all its authors from Iranian institutions. It is a source of pride for the TEIAS Institute at Khatam University, which has also…

Read More

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