Dr. Dana Fisman

Assistant professor

Research: A main obstacle in the development of complex computerized systems lies in the process of ensuring their correctness. The research area of formal methods in system design is concerned with finding automatic tools to prove correctness of computerized systems and automatically synthesize correct implementations from high level formalisms (i.e temporal logic or examples). The derived computational problems are of high complexity and the algorithmic solutions build on the foundations of logic, automata and formal languages, as well as on deductive methods and computational learning theory.

Contacts

Email:
Homepage:
Office: 113 in 37 building
Phone number: 086428943
Box number: 73
Office hours: Mon 16:00-18:00

Teaching

Fall 2018-2019 20212011 Automata Formal Languages & Computability
Fall 2018-2019 20224921 Automata and Logic on Infinite Objects
Spring 2019 20224961 Infinite-duration games
Fall 2017-2018 20212011 Automata Formal Languages & Computability
Spring 2018 20224921 Automata and Logic on Infinite Objects
Fall 2016-2017 20224761 Automata on Infinite Words
Spring 2017 20212051 Principles of Programming Languages

Research groups

Algorithmic Game Theory
Algorithms
Logic and Semantics
Machine Learning
Software engineering and verification