Guy Avni

​I am a Senior Lecturer (Assistant Professor) in the department of Computer Science at University of Haifa.

I am interested in formal methods. Particularly, in game theory, quantitative formal methods, and studying games on the border between with algorithmic game theory and formal methods.

Previously, I did my Phd with Prof. Orna Kupferman at the Hebrew University. I was a postdoc with Prof. Thomas Henzinger at IST Austria.