Orna Kupferman

Orna Kupferman ( en hebreo : אורנה קופפרמן ) es catedrática de Informática y ex vicerrectora de la Universidad Hebrea de Jerusalén . Fue elegida miembro de la Academia Europaea en 2016.

Kupferman prestó servicio en las Fuerzas de Defensa de Israel de 1986 a 1988. ^{[ 1 ]} Obtuvo su doctorado en el Technion en 1995, ^{[ 2 ]} donde fue supervisada por Orna Grumberg . En 1996, Kupferman se unió al personal técnico de Bell Labs . Se trasladó a la Universidad de California, Berkeley en 1997, donde trabajó con Thomas Henzinger . ^{[ 1 ]}

En 1998, Kupferman fue nombrada Profesora Titular en la Universidad Hebrea de Jerusalén . ^{[ 1 ]} Fue Jefa del Departamento de Ciencias de la Computación de 2005 a 2008, y Jefa del Departamento de Ingeniería entre 2008 y 2011. ^{[ 3 ]} Fue nombrada Catedrática en 2008. ^{[ 3 ]} En 2012, Kupferman recibió una beca del Consejo Europeo de Investigación para estudiar sistemas reactivos de alta calidad. ^{[ 4 ]} Está desarrollando sistemas informáticos de verificación y síntesis formales tanto para hardware como para software . ^{[ 4 ]} Utiliza enfoques de teoría de autómatas para comprobar modelos de tiempo ramificado. ^{[ 3 ] [ 5 ]}

Kupferman ha ejercido como asesora en cuestiones de género para el rector de la Universidad Hebrea de Jerusalén . Ha hablado sobre los retos de lograr el equilibrio de género en el ámbito académico en el Instituto Weizmann de Ciencias . ^{[ 6 ]} Hizo un llamamiento a la Universidad Hebrea de Jerusalén para que pusiera fin a la educación segregada por género . ^{[ 7 ] [ 8 ]}

Kupferman fue elegida miembro de la Academia Europaea en 2016. ^{[ 9 ]} También recibió el Premio Michael Milken de la Universidad Hebrea de Jerusalén por su larga trayectoria de excelencia en la enseñanza. ^{[ 2 ]}

Kupferman ha formado parte del consejo editorial de Formal Methods in System Design y Logical Methods in Computer Science . Es editora jefe de ACM Transactions on Computational Logic . ^{[ 2 ]}