Dr. Guy Avni is a faculty member at the Computer Science department of the University of Haifa.
His research belongs to the field of Formal Methods. Specifically, he studies game theory and in particular games on the border between algorithmic game theory, AI, and formal methods. In addition, he studies applications of reactive synthesis and in particular synthesis in combination with machine-learned systems.
He obtained his PhD at the Hebrew University in 2016 and spent four years as a postdoc at IST Austria.