
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




Program Committee Member at CAV 2025
Hossein Hojjat
Read More
Hossein Hojjat