Dr. Hojjat, a faculty member of TEIAS/Khatam university will serve as a program committee member at CAV 2025. CAV is an annual, premier academic conference dedicated to advancing both the theory and practice of computer-aided formal analysis across software and hardware systems. Renowned for consistently featuring groundbreaking research, it is widely regarded as one of the most influential and prestigious events in the computer science field.
For decades, CAV has stood as one of the field’s most influential forums, consistently featuring pioneering work—including model checking—that has later been celebrated in Turing Award citations.
Dr. Hojjat’s appointment not only exemplifies unparalleled scholarly excellence but also makes history as the first individual with an Iranian affiliation to hold this revered position. This achievement underscores Dr. Hojjat’s standing as a leading figure in the discipline and heralds a new era of innovation and influence for TEIAS.