Dana Fisman es una científica informática israelí cuya investigación ha incluido trabajos sobre la reconstrucción de modelos basados en autómatas en la teoría del aprendizaje computacional , incluida la inducción de lenguajes regulares , sobre lógica temporal y el lenguaje de especificación de propiedades , y sobre síntesis de programas . Es profesora asociada de informática en la Universidad Ben-Gurion del Néguev . [1]
Fisman obtuvo una licenciatura en el Technion, el Instituto Tecnológico de Israel, en 1997. [2] Fue al Instituto de Ciencias Weizmann para realizar estudios de posgrado en informática, donde obtuvo una maestría y un doctorado. [1] Completó su doctorado en 2006, bajo la supervisión de Amir Pnueli . [3]
Después de su trabajo de doctorado, se convirtió en investigadora postdoctoral en la Universidad Hebrea de Jerusalén . [1] Mientras tanto, había estado trabajando en la industria en el Laboratorio de Investigación de IBM Haifa de 1997 a 2009; [2] allí se convirtió en una de las desarrolladoras del Lenguaje de Especificación de Propiedades para lógica temporal . [4] Se trasladó a Synopsys , de 2009 a 2013. [2]
En 2013 regresó al mundo académico. Fue profesora visitante en la Universidad de Yale de 2013 a 2016 y científica investigadora en la Universidad de Pensilvania de 2014 a 2016. [2] En la Universidad de Pensilvania fue directora asociada de un proyecto sobre síntesis de programas dirigido por Rajeev Alur . [4] [5] En 2016 obtuvo un puesto como profesora adjunta de informática en la Universidad Ben-Gurion, y en 2021 fue ascendida a profesora asociada. [2]
Fisman es coautor, junto con Cindy Eisner, del libro A Practical Introduction to PSL (Springer, 2006). [6]