Prof. Dana Fisman, faculty member in the Department of Computer Science, winner of the CAV 2025 award For contributions in designing industrial temporal logics that led to highly successful industry-standard
property-specification languages, based on temporal logics such as ForSpec, Sugar, PSL, SVA.