Orna Kupferman
Orna Kupferman est une informaticienne israélienne. Elle est professeur d'informatique à l'université hébraïque de Jérusalem.
Biographie
modifierKupferman a fait son service militaire de 1986 à 1988[1]. Elle a obtenu son Ph. D. au Technion en 1995[2], sous la supervision de Orna Grumberg (en)[3] avec une thèse intitulée « Model Checking for Branching-Time Temporal Logics ». En 1996, Kupferman rejoint les Laboratoires Bell. En 1997, elle séjourne à l'Université de Californie à Berkeley, où elle a travaillé avec Thomas Henzinger[1].
In 1998 Kupferman est nommée Senior Lecturer à l'Université hébraïque de Jérusalem[1]. Elle devient professeur titulaire en 2008[4]. Elle dirige le département d'informatique de 2008 à 2011[4]. En 2012 Kupferman bénéficie d'un starting grant ERC pour l'étude de systèmes réactifs de qualité élevée[5].
Activités
modifierElle travaille sur les bases théoriques de la vérification formelle et de la synthèse des systèmes informatiques[5], y compris les automates, la logique temporelle, l'analyse quantitative, les problèmes de vacuité et de couverture. Elle a notamment travaillé sur l'approche théorique des automates pour la vérification et la synthèse des modèles temporels, et les procédures de décision pour les automates sur les mots infinis[4],[6].
Kupferman a été conseillère pour les problèmes de genre auprès du président de l'université hébraïque de Jérusalem. Elle a insisté sur l'égalité des gendres dans une conférence à l'Institut Weizmann[7]. Elle appelle à la fin de la ségrégation par sexe à l'Université hébraïque de Jérusalem[8],[9].
Kupferman est rédactrice-en-chef du journal ACM Transactions on Computational Logic[2].
Distinctions et prix
modifierKupferman est élue à l'Academia Europaea en 2016[10]. Elle a reçu le prix Michael Milken for long-standing excellence in teaching[2] de l'Université hébraïque de Jérusalem.
Publications (sélection)
modifier- Guy Avni, Thomas A. Henzinger et Orna Kupferman, « Dynamic resource allocation games », Theoretical Computer Science, vol. 807, , p. 42–55 (DOI 10.1016/j.tcs.2019.06.031).
- Ismaël Jecker, Orna Kupferman et Nicolas Mazzocchi, « Unary Prime Languages », dans Javier Esparza et Daniel Kràl,, 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020),, {Schloss Dagstuhl-Leibniz-Zentrum für Informatik},, coll. « Leibniz International Proceedings in Informatics (LIPIcs), » (no 170,), 2020}, (ISBN 978-3-95977-159-7, ISSN 1868-8969, DOI 10.4230/LIPIcs.MFCS.2020.51, lire en ligne), p. 51:1-51:12.
- Orna Kupferman, « Alternating-time temporal logic », Journal of the ACM, vol. 49, no 5, , p. 672–713 (DOI 10.1145/585265.585270, S2CID 15984608, lire en ligne)
- Orna Kupferman et Moshe Y. Vardi, « Model Checking of Safety Properties », Formal Methods in System Design, vol. 19, no 3, , p. 291–314 (ISSN 0925-9856, DOI 10.1023/A:1011254632723, S2CID 909779)
- Orna Kupferman, « An automata-theoretic approach to branching-time model checking », Journal of the ACM, vol. 47, no 2, , p. 312–360 (DOI 10.1145/333979.333987, S2CID 1216035)
- Orna Kupferman, « Alternating-time Temporal Logic », Lecture Notes in Computer Science, vol. 1536, , p. 23–60 (ISBN 978-3-540-65493-3, DOI 10.1007/3-540-49213-5_2, lire en ligne)
Notes et références
modifier- « Orna Kupferman : Brief Bio », sur ptolemy.berkeley.edu (consulté le )
- « Academia Europaea : CV », sur www.ae-info.org (consulté le )
- (en) « Orna Kupferman-Bernholtz », sur le site du Mathematics Genealogy Project
- « Liverpool Distinguished Computer Science Lectures », sur intranet.csc.liv.ac.uk (consulté le )
- « From correct to high-quality reactive systems », sur Europa (consulté le )
- Kupferman et Vardi 2001.
- Israel Institute for Advanced Studies, « Orna Kupferman - The gender challenge in academia », (consulté le )
- (en) Yarden Skop, « Plan to Offer Gender Segregated Studies at Hebrew U Sparks Outcry Among Faculty », Haaretz, (lire en ligne, consulté le )
- Elana Sztokman, « How Israeli Colleges Are Discriminating Against Ultra-Orthodox Women » [archive du ], sur Forward, (consulté le )
- « Orna Kupferman - AcademiaNet », sur www.academia-net.org (consulté le )
