| Orna Kupferman | |
| Alma Mater: | Technion - Israel Institute of Technology |
| Doctoral Advisor: | Orna Grumberg |
| Thesis Title: | Model Checking for Branching-Time Temporal Logics |
| Thesis Year: | 1995 |
| Thesis Url: | http://www.cs.technion.ac.il/users/wwwb/cgi-bin/tr-get.cgi/1995/PHD/PHD-1995-02.pdf |
| Website: | Kupferman Group |
Orna Kupferman is a Professor of Computer Science and former Vice Rector at the Hebrew University of Jerusalem. She was elected to the Academia Europaea in 2016.
Kupferman served in the Israel Defense Force from 1986 to 1988.[1] She earned her PhD at the Technion in 1995,[2] where she was supervised by Orna Grumberg. In 1996 Kupferman joined the technical staff at Bell Labs. She moved to University of California, Berkeley in 1997, working with Thomas Henzinger.
In 1998 Kupferman was appointed a Senior Lecturer at the Hebrew University of Jerusalem. She acted as Head of Computer Science from 2005 to 2008, and as Head of Engineering between 2008 and 2011.[3] She was made a Full Professor in 2008. In 2012 Kupferman was awarded a European Research Council grant to study high-quality reactive systems.[4] She is developing formal verification and synthesis computer systems for both hardware and software. She uses automata theory approaches to check branching-time models.[5]
Kupferman has served as the Advisor on Gender Issues for the President of the Hebrew University of Jerusalem. She has spoken about the challenges achieving gender balance in academia at the Weizmann Institute of Science. She called for the Hebrew University of Jerusalem to end gender segregated education.[6] [7]
Kupferman was elected to the Academia Europaea in 2016.[8] She was also awarded the Hebrew University of Jerusalem Michael Milken Prize for long-standing Excellence in Teaching.
Kupferman has served on the editorial board of Formal Methods in System Design and Logical Methods in Computer Science. She is Editor-in-Chief of ACM Transactions on Computational Logic.