Dana Fisman

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.

[1] Fisman earned a bachelor's degree from the Technion – Israel Institute of Technology in 1997.

[1] Meanwhile, she had been working in industry at the IBM Haifa Research Lab from 1997 to 2009;[2] there she became one of the developers of the Property Specification Language for temporal logic.

[2] At the University of Pennsylvania she was associate director of a project on program synthesis headed by Rajeev Alur.

[2] Fisman is coauthor, with Cindy Eisner, of the book A Practical Introduction to PSL (Springer, 2006).