Orna Kupferman
From Wikipedia, the free encyclopedia
Orna Kupferman est une informaticienne israélienne. Elle est professeur d'informatique à l'université hébraïque de Jérusalem.
Kupferman fait son service militaire de 1986 à 1988[1]. Elle obtient 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 travaille 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 reçoit le prix Michael Milken for long-standing excellence in teaching[2] de l'Université hébraïque de Jérusalem.
