Scholar
Guy Avni
Google Scholar ID: tySIznAAAAAJ
Senior Lecturer, University of Haifa
Citations & Impact
Citations
342
H-index
13
i10-index
14
Publications
20
Co-authors
8
list available
Contact
Publications
Cited
3
Resume (English only)
Research Experience
- Currently a Senior Lecturer (Assistant Professor) in the Department of Computer Science at the University of Haifa. Looking for a theoretically-inclined postdoc/PhD student.
Education
- PhD from the Hebrew University under Prof. Orna Kupferman; Postdoc at IST Austria with Prof. Thomas Henzinger.
Background
- Interested in formal methods, particularly game theory, quantitative formal methods, and the intersection of algorithmic game theory and formal methods. Currently a Senior Lecturer (Assistant Professor) in the Department of Computer Science at the University of Haifa.
Miscellany
- Email: gavni@cs.haifa.ac.il Office: Room 405, Amir building, Ha'Namal street 67, Haifa
