Pour les articles homonymes, voir Kupferman.
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités | |
| Conjoint |
Raz Kuperman (d) |
| A travaillé pour | |
|---|---|
| Membre de |
Academia Europaea () SIGLOG (en) |
| Directrice de thèse |
Orna Grumberg (en) |
| Site web | |
| Distinction |
Prix Michael Bruno (d) () |
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. Elle obtient son Ph. D. au Technion en 1995, sous la supervision de Orna Grumberg (en) 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.
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.
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.
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.
