Orna Kupferman

Orna Kupferman

Biographie

Naissance	Holon
Formation	Technion Université de Californie à Berkeley
Activités	Professeure d’université, informaticienne
Conjoint	Raz Kupferman (d)

Autres informations

A travaillé pour	Université hébraïque de Jérusalem (depuis le 1er octobre 1998) Université hébraïque de Jérusalem Laboratoires Bell
Membre de	Academia Europaea (2016)
Directrice de thèse	Orna Grumberg (en)
Site web	www.cs.huji.ac.il/~ornak
Distinction	Prix Michael Bruno (d) (2018)

modifier - modifier le code - modifier Wikidata

Orna Kupferman est une informaticienne israélienne. Elle est professeur d'informatique à l'université hébraïque de Jérusalem.

Biographie

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

Activités

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

Distinctions et prix

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.

Publications (sélection)

• 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)

Notes et références

Liens externes

• Notices d'autorité :

  • VIAF
  • IdRef
  • Israël
  • WorldCat

• Portail de l’informatique