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
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…
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
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…
New Faculty Member of the Computer Science Department
Naeimeh Omidvar
Read More
Naeimeh Omidvar
The Second Symposium on Frontiers in Computer and Data Sciences
February 26 & 27, 2025
Read More
February 26 & 27, 2025
Student Research Symposium 2025
March 05, 2025
Read More
March 05, 2025
