Orna Kupferman#
| Membership Number: | 4186 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2016 |
| Main Country of Residence: | ISRAEL |
| Homepage(s): | http://www.cs.huji.ac.il/~ornak |
Present and Previous Positions
- 2012 - today Vice Rector of the Hebrew University
- 2008 - today Professor, Hebrew University
- 2011 - 2013 President's advisor on Gender Issues, Hebrew University
- 2008 - 2011 Chair of the School of Engineering, Hebrew University
- 2008 Visiting professor, Rice University
- 2007 Visiting researcher, UC Berkeley
- 2006 Visiting researcher, Microsoft Research, Redmond
- 2005 - 2007 Head of the Computer Science Department, Hebrew University
- 2003 - 2008 Associate professor, Hebrew University
- 2002 - 2003 Visiting researcher, UC Berkeley
Fields of Scholarship
- Formal verification and synthesis of reactive systems
- Automata theory
- Temporal logic
- Model-checking
- Game-based approach to automatic verification and synthesis
- Sanity checks in formal methods: vacuity, coverage, and query checking
- Formal measures of quality: algorithms for quality checking, and automated synthesis of high-quality reactive systems
Honours and Awards
- ERC starting grant, From Correct to High-Quality Reactive systems, 2012-2017
