Kupferman Orna

Orna Kupferman is a Full Professor in the Computer Science Department at the Hebrew University since 2008, where she has held multiple leadership roles including Head of the Computer Science Department (2005-2007), Chair of the School of Engineering (2008-2011), and Advisor on Gender Issues to the University President (2011-2013). She currently serves as Vice Rector of the Hebrew University.

• Professor, Hebrew University (2008-present)
• Vice Rector, Hebrew University (2012-present)
• Editor-in-Chief, ACM Transactions on Computational Logic
• Keynote speaker at LICS, CONCUR, ICALP, and TACAS conferences

Her research focuses on the theoretical foundations of formal verification and synthesis of computer systems, with notable contributions to automata-theoretic approaches for branching-time model checking and synthesis of reactive systems. She pioneered 'safraless decision procedures' for automata on infinite words and developed formal measures for system quality analysis.

Prof. Kupferman received an ERC Starting Grant (2012-2017) and secured competitive international grants for collaborations between Israel and the US/Germany. Her editorial roles include membership on the Editorial Board of Formal Methods in System Design and Logical Methods in Computer Science.

• Published over 40 journal papers and 140 conference papers
• Chaired the IEEE Symposium on Logic in Computer Science (LICS) in 2013
• Volunteer speaker at high schools and drug-addiction centers