Orna Kupferman is a Professor of

Computer Science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includi ...

and former Vice Rector at the Hebrew University of Jerusalem. She was elected to the

Academia Europaea The Academia Europaea is a pan-European Academy of Humanities, Letters, Law, and Sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of Europea ...

in 2016.

Early life and education

Kupferman served in the

Israel Defense Force The Israel Defense Forces (IDF; he, צְבָא הַהֲגָנָה לְיִשְׂרָאֵל , ), alternatively referred to by the Hebrew-language acronym (), is the national military of the State of Israel. It consists of three service branch ...

from 1986 to 1988. She earned her PhD at the Technion in 1995, where she was supervised by Orna Grumberg. In 1996 Kupferman joined the technical staff at

Bell Labs Nokia Bell Labs, originally named Bell Telephone Laboratories (1925–1984), then AT&T Bell Laboratories (1984–1996) and Bell Labs Innovations (1996–2007), is an American industrial Research and development, research and scientific developm ...

. She moved to

University of California, Berkeley The University of California, Berkeley (UC Berkeley, Berkeley, Cal, or California) is a public land-grant research university in Berkeley, California. Established in 1868 as the University of California, it is the state's first land-grant u ...

in 1997, working with

Thomas Henzinger Thomas Henzinger (born 1962) is an Austrian computer scientist, researcher, and president of the Institute of Science and Technology, Austria. Life and career Henzinger was born in Austria. He received his bachelor's degree in computer science ...

Research and career

In 1998 Kupferman was appointed a Senior Lecturer at the Hebrew University of Jerusalem. She acted as Head of Computer Science from 2005 to 2008, and as Head of Engineering between 2008 and 2011. She was made a Full Professor in 2008. In 2012 Kupferman was awarded a European Research Council grant to study high-quality reactive systems. She is developing

formal verification In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal met ...

and synthesis computer systems for both hardware and

software Software is a set of computer programs and associated software documentation, documentation and data (computing), data. This is in contrast to Computer hardware, hardware, from which the system is built and which actually performs the work. ...

. She uses

automata theory Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science. The word ''automata'' comes from the Greek word αὐτόματο� ...

approaches to check branching-time models. Kupferman has served as the Advisor on Gender Issues for the President of the Hebrew University of Jerusalem. She has spoken about the challenges achieving gender balance in academia at the

Weizmann Institute of Science The Weizmann Institute of Science ( he, מכון ויצמן למדע ''Machon Vaitzman LeMada'') is a public research university in Rehovot, Israel, established in 1934, 14 years before the State of Israel. It differs from other Israeli unive ...

. She called for the Hebrew University of Jerusalem to end gender segregated education. Kupferman was elected to the

in 2016. She was also awarded the Hebrew University of Jerusalem Michael Milken Prize for long-standing Excellence in Teaching. Kupferman has served on the editorial board of ''Formal Methods in System Design'' and ''

Logical Methods in Computer Science ''Logical Methods in Computer Science'' (LMCS) is a peer-reviewed open access scientific journal covering theoretical computer science and applied logic. It opened to submissions on September 1, 2004. The editor-in-chief is Stefan Milius ( Fried ...

''. She is Editor-in-Chief of ''

ACM Transactions on Computational Logic ''ACM Transactions on Computational Logic'' (''ACM TOCL'') is a scientific journal that aims to disseminate the latest findings of note in the field of logic in computer science. It is published by the Association for Computing Machinery, a premie ...

''.

Selected publications

* * *

References

{{DEFAULTSORT:Kupferman, Orna Israeli women computer scientists Israeli computer scientists Academic staff of the Hebrew University of Jerusalem Technion – Israel Institute of Technology alumni Members of Academia Europaea 20th-century women scientists 21st-century women scientists Year of birth missing (living people) Living people