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 verification for hardware, software, and cyber-physical systems. It has served as a venue for pioneering work by Turing Award laureates, including the inventors of model checking (Clarke, Emerson, and Sifakis) and temporal logic (Pnueli).
This achievement marks a historic milestone: Prof. Hojjat is the first researcher affiliated with an Iranian institution to publish at CAV in the conference’s history, underscoring the growing impact of the TEIAS computer science department on the international stage.
The accepted paper, titled “Arithmetizing Shape Analysis“, contributes to automatic verification of memory safety for software systems.