Dr. Fisman Dana

Dr. Fisman Dana Profile

Senior Lecturer

Room : 37/113
Phone : 086428943
Email : dana@bgu.ac.il
Homepage : https://www.cs.bgu.ac.il/~dana
Fax :
Box Number : 73
Office Hours : Monday 16.00-18.00


Research groups:
Artificial Intelligence and Machine Learning:Machine Learning
Computer Systems, Communication, and Software Engineering:Software engineering and verification
Theory of Computer Science:Algorithmic Game Theory
Theory of Computer Science:Algorithms
Theory of Computer Science:Logic and Semantics
Teaching (last two years):
Fall 2020: Automata and Logic on Infinite Objects
Spring 2019: Infinite-duration games
Fall 2019: Automata and Logic on Infinite Objects
Fall 2019: Automata Formal Languages & Computability
Spring 2018: Automata and Logic on Infinite Objects
Fall 2018: Automata Formal Languages & Computability