Orna Kupferman

Un article de Wikipédia, l'encyclopédie libre.
Orna Kupferman
Biographie
Naissance
Formation
Activités
Conjoint
Raz Kupferman (d)Voir et modifier les données sur Wikidata
Autres informations
A travaillé pour
Membre de
Directrice de thèse
Orna Grumberg (en)Voir et modifier les données sur Wikidata
Site web
Distinction
Prix Michael Bruno (d) ()Voir et modifier les données sur Wikidata

modifier - modifier le code - modifier WikidataDocumentation du modèle

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

Biographie[modifier | modifier le code]

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[modifier | modifier le code]

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[modifier | modifier le code]

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)[modifier | modifier le code]

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

Notes et références[modifier | modifier le code]

  1. ↑ a b et c « Orna Kupferman : Brief Bio », sur ptolemy.berkeley.edu (consulté le )
  2. ↑ a b et c « Academia Europaea : CV », sur www.ae-info.org (consulté le )
  3. ↑ (en) « Orna Kupferman-Bernholtz », sur le site du Mathematics Genealogy Project
  4. ↑ a b et c « Liverpool Distinguished Computer Science Lectures », sur intranet.csc.liv.ac.uk (consulté le )
  5. ↑ a et b « From correct to high-quality reactive systems », sur Europa (consulté le )
  6. ↑ Kupferman et Vardi 2001.
  7. ↑ Israel Institute for Advanced Studies, « Orna Kupferman - The gender challenge in academia », (consulté le )
  8. ↑ (en) Yarden Skop, « Plan to Offer Gender Segregated Studies at Hebrew U Sparks Outcry Among Faculty », Haaretz,‎ (lire en ligne, consulté le )
  9. ↑ Elana Sztokman, « How Israeli Colleges Are Discriminating Against Ultra-Orthodox Women » [archive du ], sur Forward, (consulté le )
  10. ↑ « Orna Kupferman - AcademiaNet », sur www.academia-net.org (consulté le )

Liens externes[modifier | modifier le code]

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Orna_Kupferman&oldid=206011305 ».