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.
Paper titled “Computing Precise Control Interface Specifications” co-authored by TEIAS/Khatam faculty Dr. Hossein Hojjat (with collaborators from the Cornell University, Dr. Eric Campbell and Dr. Nate Foster) has been accepted for publication in The ACM SIGPLAN Object Oriented Programming Systems Languages and Applications (OOPSLA’24).
TeIAS/Khatam computer scientist, Dr. Sharareh Alipour’s paper with her collaborators from Sharif University of Technology was accepted at the SODA 2024. SODA is among the top 3 computer science conferences. The title of this paper is “Partial coloring complex, vertex decomposability and Tverberg’s theorem with constraints”. The paper gives an application of topology to problems ranging from combinatorics to computational geometry and solves a long standing conjecture about Tverberg’s theorem with constraints.
Our Data Science faculty member, Prof. Mohammad Taher Pilehvar, together with his collaborators from Cardiff and Sapienza University, have been awarded the AIJ 2023 prominent paper award. The AIJ prominent paper award recognizes outstanding papers published not more than seven years ago in the AI Journal that are exceptional in their significance and impact.
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.
Paper titled “Computing Precise Control Interface Specifications” co-authored by TEIAS/Khatam faculty Dr. Hossein Hojjat (with collaborators from the Cornell University, Dr. Eric Campbell and Dr. Nate Foster) has been accepted for publication in The ACM SIGPLAN Object Oriented Programming Systems Languages and Applications (OOPSLA’24).
TeIAS/Khatam computer scientist, Dr. Sharareh Alipour’s paper with her collaborators from Sharif University of Technology was accepted at the SODA 2024. SODA is among the top 3 computer science conferences. The title of this paper is “Partial coloring complex, vertex decomposability and Tverberg’s theorem with constraints”. The paper gives an application of topology to problems ranging from combinatorics to computational geometry and solves a long standing conjecture about Tverberg’s theorem with constraints.
Our Data Science faculty member, Prof. Mohammad Taher Pilehvar, together with his collaborators from Cardiff and Sapienza University, have been awarded the AIJ 2023 prominent paper award. The AIJ prominent paper award recognizes outstanding papers published not more than seven years ago in the AI Journal that are exceptional in their significance and impact.