Student Research Symposium 2026
March 01, 2026
Read More
March 01, 2026
Trust with Evidence – Amirreza Ahmadzadeh
January 5, 2026
Read More
January 5, 2026
AI/ LLMS Applications In Research
December 24, 2025
Read More
December 24, 2025
Distinguished Artifact Award at ETAPS 2025 Conference
Paper titled “Compositional Learning for Synchronous Parallel Automata” by TEIAS 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, which has also received the Distinguished Artifact Award among the many papers…
Read More
Paper titled “Compositional Learning for Synchronous Parallel Automata” by TEIAS 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, which has also received the Distinguished Artifact Award among the many papers…
Introducing Finance Program at TEIAS
June 3, 2025
Read More
June 3, 2025
Introducing Economics Program at TEIAS
June 3, 2025
Read More
June 3, 2025
Introducing Computer Science Program at TEIAS
June 2, 2025
Read More
June 2, 2025
Paper Acceptance at CAV 2025
We are proud to announce that Hossein Hojjat, a faculty member at TEIAS/, 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/, 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…