Dana Fisman | |
|---|---|
דנה פיסמן | |
| Alma mater | Technion – Israel Institute of Technology, Weizmann Institute of Science |
| Known for | Reconstruction of automaton-based models, temporal logic, Property Specification Language, program synthesis |
| Scientific career | |
| Fields | Computer Science |
| Institutions | Ben-Gurion University of the Negev |
| Thesis | (2006) |
| Doctoral advisor | Amir Pnueli |
Dana Fisman (Hebrew: דנה פיסמן) is an Israeli computer scientist whose research has included work on the reconstruction of automaton-based models in computational learning theory including induction of regular languages, on temporal logic and the Property Specification Language, and on program synthesis. She is an associate professor of computer science at Ben-Gurion University of the Negev.[1]