Orna Kupferman es profesora de informática y ex vicerrectora de la Universidad Hebrea de Jerusalén . Fue elegida miembro de la Academia Europaea en 2016.
Kupferman sirvió 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 mudó a la Universidad de California, Berkeley en 1997, trabajando con Thomas Henzinger . [1]
En 1998, Kupferman fue nombrado profesor titular de la Universidad Hebrea de Jerusalén . [1] Actuó como Directora de Informática de 2005 a 2008, y como Directora de Ingeniería entre 2008 y 2011. [3] Fue nombrada Profesora Titular en 2008. [3] En 2012, Kupferman recibió una subvención del Consejo Europeo de Investigación. para estudiar sistemas reactivos de alta calidad. [4] Está desarrollando sistemas informáticos formales de verificación y síntesis tanto para hardware como para software. [4] Ella utiliza enfoques de teoría de autómatas para verificar modelos de ramificación de tiempo. [3] [5]
Kupferman se ha desempeñado como Asesora en Asuntos de Género del Presidente de la Universidad Hebrea de Jerusalén . Ha hablado sobre los desafíos para lograr el equilibrio de género en la academia en el Instituto de Ciencias Weizmann . [6] Pidió a la Universidad Hebrea de Jerusalén 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 excelencia en la enseñanza. [2]
Kupferman ha formado parte del consejo editorial de Métodos formales en diseño de sistemas y Métodos lógicos en informática . Es editora en jefe de ACM Transactions on Computational Logic . [2]