Orna Kupferman
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. Elle a obtenu son Ph. D. au Technion en 1995, sous la supervision de   avec une thèse intitulée  . En 1996, Kupferman rejoint les Laboratoires Bell. En 1997, elle séjourne à  l'Université de Californie à Berkeley, où elle a travaillé avec Thomas Henzinger.

In 1998 Kupferman est nommée Senior Lecturer  à l'Université hébraïque de Jérusalem.  Elle devient professeur titulaire en 2008. Elle dirige le département d'informatique de 2008 à 2011. En 2012 Kupferman bénéficie d'un starting grant ERC pour l'étude de systèmes réactifs de qualité élevée.

Activités 
Elle travaille sur les bases théoriques de la vérification formelle et de la synthèse des systèmes informatiques, 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.

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. Elle appelle à la fin de la ségrégation par sexe à l'Université hébraïque de Jérusalem.

Kupferman est rédactrice-en-chef du journal ACM Transactions on Computational Logic.

Distinctions et prix 
Kupferman est élue à l'Academia Europaea en 2016. Elle a reçu le prix Michael Milken for long-standing excellence in teaching de l'Université hébraïque de Jérusalem.

Publications (sélection) 
 .

 .

Notes et références

Liens externes 
 

Professeur à l'université hébraïque de Jérusalem
Femme scientifique du XXIe siècle
Femme scientifique du XXe siècle
Étudiant du Technion
Membre de l'Academia Europaea
Personnalité en informatique théorique