Orna Kupferman

Kupferman 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].

Elle 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].

Kupferman 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.

• Guy Avni, Thomas A. Henzinger et Orna Kupferman, « Dynamic resource allocation games », Theoretical Computer Science, vol. 807,‎ 2020, 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), » (n^o 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, n^o 5,‎ septembre 2012, 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, n^o 3,‎ 2001, 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, n^o 2,‎ mars 2000, p. 312–360 (DOI 10.1145/333979.333987, S2CID 1216035)
• Orna Kupferman, « Alternating-time Temporal Logic », Lecture Notes in Computer Science, vol. 1536,‎ mai 1999, p. 23–60 (ISBN 978-3-540-65493-3, DOI 10.1007/3-540-49213-5_2, lire en ligne)

• Notices d'autorité :

  • VIAF
  • IdRef
  • Israël
  • WorldCat