Orna Kupferman

Orna Kupferman is a Professor at the School of Computer Science and Engineering at the Hebrew University of Jerusalem. She received her PhD in 1995 from the Technion and has established herself as a leading researcher in theoretical computer science with a focus on formal methods.

Her research centers on the theoretical foundations of formal verification and synthesis of computer systems, with special emphasis on automata theory and game theory applications. Kupferman's work bridges abstract theoretical concepts with practical verification challenges, developing frameworks for analyzing and constructing reliable computer systems. Her research has consistently explored the intersection of logic, computation, and strategic behavior in system design.

Analysis of her recent publications reveals a strong focus on game-theoretic approaches to system verification and synthesis, with increasing attention to privacy concerns, weighted objectives, and uncertainty modeling. Her work spans multiple prestigious venues including ATVA, CONCUR, TACAS, and ICALP, demonstrating both depth and breadth in theoretical computer science.

Professor Kupferman actively contributes to the academic community through teaching courses such as Formal Verification of Reactive Systems and maintaining a robust publication record that continues to grow with significant contributions through 2025. She is also engaged in broader societal issues, as evidenced by her participation in Israel's democracy movement.