Orna Kupferman | |
|---|---|
 | |
| Alma mater | Technion - Israel Institute of Technology |
| Scientific career | |
| Institutions | |
| Thesis | Model Checking for Branching-Time Temporal Logics (1995) |
| Doctoral advisor | Orna Grumberg |
| 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.