Orna Kupferman
{{short description|Israeli computer scientist}}
{{Infobox scientist
| name = Orna Kupferman
| native_name = אורנה קופפרמן
| native_name_lang = he
| image = Orna Kupferman.jpg
| alma_mater = Technion - Israel Institute of Technology
| workplaces = {{unbulleted list|class=nowrap|Hebrew University of Jerusalem | University of California, Berkeley | Bell Labs}}
| doctoral_advisor = Orna Grumberg
| thesis_title = Model Checking for Branching-Time Temporal Logics
| thesis_year = 1995
| thesis_url = http://www.cs.technion.ac.il/users/wwwb/cgi-bin/tr-get.cgi/1995/PHD/PHD-1995-02.pdf
| website = [http://www.cs.huji.ac.il/~ornak/ Kupferman Group]
}}
Orna Kupferman ({{Langx|he|אורנה קופפרמן}}) is a Professor of Computer Science and former Vice Rector at the Hebrew University of Jerusalem. She was elected to the Academia Europaea in 2016.
Early life and education
Kupferman served in the Israel Defense Force from 1986 to 1988.{{Cite web|url=https://ptolemy.berkeley.edu/projects/embedded/esd-seminar/fall00/biodata/kupferman.html|title=Orna Kupferman: Brief Bio|website=ptolemy.berkeley.edu|access-date=2019-05-13}} She earned her PhD at the Technion in 1995,{{Cite web|url=https://www.ae-info.org/ae/Member/Kupferman_Orna/CV|title=Academy of Europe: CV|website=www.ae-info.org|access-date=2019-05-13}} where she was supervised by Orna Grumberg. In 1996 Kupferman joined the technical staff at Bell Labs. She moved to University of California, Berkeley in 1997, working with Thomas Henzinger.
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.{{Cite web|url=https://intranet.csc.liv.ac.uk/research/ldcsl/kupferman.html|title=Liverpool Distinguished Computer Science Lectures|website=intranet.csc.liv.ac.uk|access-date=2019-05-13}} She was made a Full Professor in 2008. In 2012 Kupferman was awarded a European Research Council grant to study high-quality reactive systems.{{Cite web|url=https://cordis.europa.eu/project/rcn/99815/factsheet/en|title=From correct to high-quality reactive systems|website=Europa|access-date=2019-05-13}} She is developing formal verification and synthesis computer systems for both hardware and software. She uses automata theory approaches to check branching-time models.{{Cite journal|last1=Kupferman|first1=Orna|last2=Y. Vardi|first2=Moshe|date=2001|title=Model Checking of Safety Properties|journal=Form. Methods Syst. Des.|volume=19|issue=3|pages=291–314|doi=10.1023/A:1011254632723|s2cid=909779|issn=0925-9856}}
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.{{Citation|last=Israel Institute for Advanced Studies|title=Orna Kupferman - The gender challenge in academia|date=2016-10-26|url=https://www.youtube.com/watch?v=crSSbGz5Ih8|access-date=2019-05-13}} She called for the Hebrew University of Jerusalem to end gender segregated education.{{Cite news|url=https://www.haaretz.com/.premium-hebrew-u-staff-ired-by-segregation-plan-1.5284490|title=Plan to Offer Gender Segregated Studies at Hebrew U Sparks Outcry Among Faculty|last=Skop|first=Yarden|date=2013-06-23|work=Haaretz|access-date=2019-05-13|language=en}}{{Cite web|url=https://forward.com/life/faith/385800/how-israeli-colleges-are-discriminating-against-ultra-orthodox-women/|title=How Israeli Colleges Are Discriminating Against Ultra-Orthodox Women|last=Sztokman|first=Elana|date=October 23, 2017|website=Forward|archive-url=https://web.archive.org/web/20190514135401/https://forward.com/life/faith/385800/how-israeli-colleges-are-discriminating-against-ultra-orthodox-women/|archive-date=May 14, 2019|url-status=live|access-date=May 14, 2019}}
Kupferman was elected to the Academia Europaea in 2016.{{Cite web|url=http://www.academia-net.org/profil/orna-kupferman/1154539|title=Orna Kupferman - AcademiaNet|website=www.academia-net.org|access-date=2019-05-13}} 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. She is Editor-in-Chief of ACM Transactions on Computational Logic.
= Selected publications =
- {{Cite journal|title=Alternating-time temporal logic|last=Kupferman|first=Orna|date=September 2002|journal=Journal of the ACM|volume=49|issue=5|pages=672–713|doi=10.1145/585265.585270|s2cid=15984608|url=https://repository.upenn.edu/cis_reports/102}}
- {{Cite journal|last=Kupferman|first=Orna|title=An automata-theoretic approach to branching-time model checking|journal=Journal of the ACM|date=March 2000|volume=47|issue=2|pages=312–360|doi=10.1145/333979.333987|s2cid=1216035|doi-access=free}}
- {{Cite book|last=Kupferman|first=Orna|title=Compositionality: The Significant Difference |chapter=Alternating-time Temporal Logic |series=Lecture Notes in Computer Science |date=May 1999|volume=1536|pages=23–60|doi=10.1007/3-540-49213-5_2|isbn=978-3-540-65493-3|chapter-url=https://repository.upenn.edu/cis_reports/102}}
References
{{Reflist}}
{{authority control}}
{{DEFAULTSORT:Kupferman, Orna}}
Category:Israeli women computer scientists
Category:Israeli computer scientists
Category:Academic staff of the Hebrew University of Jerusalem
Category:Technion – Israel Institute of Technology alumni
Category:Members of Academia Europaea
Category:20th-century Israeli women scientists
Category:21st-century Israeli women scientists