Scholar
Dana Fisman
Google Scholar ID: LWgGkRsAAAAJ
Associate Professor of Computer Science, Ben-Gurion University
Citations & Impact
Citations
1,604
H-index
16
i10-index
20
Publications
20
Co-authors
43
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Published several papers such as 'Learning Regular Omega Languages' (with Dana Angluin) and 'Search-based program synthesis' (with Rajeev Alur, Rishabh Singh, and Armando Solar-Lezama); co-authored chapters in the PSL handbook and related books; served as a member or chair of multiple international conference program committees, including LICS'22 Conference Chair and TACAS'22 PC Co-Chair.
Research Experience
- Current research focus is on automata learning, particularly learning infinitary languages; previously focused on laying a firm mathematical foundation for temporal logics.
Background
- Research interests: Theoretical foundations of system design, automata learning, and program synthesis. Specializes in logic, automata theory, algorithmic game theory, and computational learning theory.
Miscellany
- Teaches graduate courses on 'Automata and Logic over Infinite Objects' and 'Infinite-Duration Games', and undergraduate courses on 'Computational Models' and once taught 'Principles of Programming Languages'.
