Michal Parnas ( en hebreo : מיכל פרנס ) es una científica informática teórica israelí conocida por su trabajo en pruebas de propiedades y algoritmos de tiempo sublineal . Es profesora de informática en el Colegio Académico de Tel Aviv-Yafo en Israel, donde fue miembro fundador de la facultad y también fue decana de la escuela de informática de 2011 a 2016. [1] Desde octubre de 2022 es la vicepresidenta de asuntos académicos de la universidad.
Parnas es hija del neurobiólogo Itzchak Parnas (1935–2012). [2] Fue estudiante de maestría en la Universidad Hebrea de Jerusalén , trabajando con Avi Wigderson en una tesis de maestría de 1990 sobre conteo aproximado, generación casi uniforme y paseos aleatorios . [3] Completó su doctorado en la Universidad Hebrea en 1994. Su disertación, Algoritmos robustos y estructuras de datos para la recuperación de información , fue supervisada conjuntamente por Danny Dolev y Noam Nisan . [4] Es coautora de un libro en hebreo sobre matemáticas discretas , con Nati Linial . [5]