Orna Kupferman

Científico informático israelí

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.

Vida temprana y educación

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 trasladó a la Universidad de California, Berkeley en 1997, donde trabajó con Thomas Henzinger . ^[1]

Investigación y carrera

En 1998, Kupferman fue nombrada profesora titular en la Universidad Hebrea de Jerusalén . ^[1] Se desempeñó como directora de Ciencias de la Computación 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 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 verificar modelos de tiempo de ramificación. ^{[3] [5]}

Kupferman ha sido asesora en cuestiones 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 el ámbito académico en el Instituto de Ciencias Weizmann . ^[6] Hizo un llamado a la Universidad Hebrea de Jerusalén para que ponga 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 sido miembro del consejo editorial de Métodos formales en diseño de sistemas y Métodos lógicos en ciencias de la computación . Es editora en jefe de ACM Transactions on Computational Logic . ^[2]

Publicaciones seleccionadas

• Kupferman, Orna (septiembre de 2002). "Lógica temporal de tiempo alterno". Revista de la ACM . 49 (5): 672–713. doi :10.1145/585265.585270. S2CID  15984608.
• Kupferman, Orna (marzo de 2000). "Un enfoque teórico de autómatas para la verificación de modelos en tiempo de ramificación". Journal of the ACM . 47 (2): 312–360. doi : 10.1145/333979.333987 . S2CID  1216035.
• Kupferman, Orna (mayo de 1999). "Lógica temporal de tiempo alterno". Composicionalidad: la diferencia significativa . Apuntes de clase en informática. Vol. 1536. págs. 23–60. doi :10.1007/3-540-49213-5_2. ISBN 978-3-540-65493-3.

Referencias

1. "Orna Kupferman: breve biografía". ptolemy.berkeley.edu . Consultado el 13 de mayo de 2019 .
2. «Academia de Europa: CV». www.ae-info.org . Consultado el 13 de mayo de 2019 .
3. "Liverpool Distinguished Computer Science Lectures". intranet.csc.liv.ac.uk . Consultado el 13 de mayo de 2019 .
4. "De sistemas reactivos correctos a sistemas reactivos de alta calidad". Europa . Consultado el 13 de mayo de 2019 .
5. Kupferman, Orna; Y. Vardi, Moshe (2001). "Verificación de propiedades de seguridad mediante modelos". Form. Methods Syst. Des . 19 (3): 291–314. doi :10.1023/A:1011254632723. ISSN  0925-9856. S2CID  909779.
6. Instituto de Estudios Avanzados de Israel (26 de octubre de 2016), Orna Kupferman - El desafío de género en la academia , consultado el 13 de mayo de 2019
7. Skop, Yarden (23 de junio de 2013). "El plan para ofrecer estudios segregados por género en la Universidad Hebrea provoca indignación entre el personal docente". Haaretz . Consultado el 13 de mayo de 2019 .
8. Sztokman, Elana (23 de octubre de 2017). «Cómo las universidades israelíes discriminan a las mujeres ultraortodoxas». Adelante . Archivado desde el original el 14 de mayo de 2019. Consultado el 14 de mayo de 2019 .
9. "Orna Kupferman - AcademiaNet". www.academia-net.org . Consultado el 13 de mayo de 2019 .