Avni Guy, Dr.

Avni Guy, Dr.

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.


carmel logo


Carmel - University of Haifa, Economic Corporation Ltd. 

Eshkol Tower,
25th floor, Room 2502
University of Haifa
Haifa, 3498838

Tel: +972-(0)4-8288500
Fax: +972-(0)4-8288499
Email: carmel@univ.haifa.ac.il
Website: carmel-ltd.haifa.ac.il

Contact Us

Please contact us for further information

Please type your name.

Please type your last name

Invalid Input

Invalid email address.

Please type your message