Orna Kupferman
Professor, Hebrew University
Orna Kupferman is a faculty member at the School of Computer Science and Engineering, The Hebrew University. She received her PhD in 1995 from the Technion. Her research areas cover the theoretical foundations of the formal verification and synthesis of computer systems, with a focus on automata theory and game theory and their applications. These days, Orna joins hundreds of thousands of Israelies in a struggle for Israel's democracy.