Orna Kupferman est une informaticienne israélienne. Elle est professeur d'informatique à l'université hébraïque de Jérusalem.
Biographie Kupferman fait son service militaire de 1986 à 1988. Elle obtient 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 travaille 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 reçoit 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
Catégorie:Professeur à l'université hébraïque de Jérusalem Catégorie:Femme scientifique du XXIe siècle Catégorie:Femme scientifique du XXe siècle Catégorie:Étudiant du Technion Catégorie:Membre de l'Academia Europaea Catégorie:Personnalité en informatique théorique