Orna Kupferman
Alma materTechnion - Israel Institute of Technology
Scientific career
Institutions
ThesisModel Checking for Branching-Time Temporal Logics (1995)
Doctoral advisorOrna Grumberg
WebsiteKupferman Group

Orna Kupferman 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.[1] She earned her PhD at the Technion in 1995,[2] 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.[1]

Research and career

In 1998 Kupferman was appointed a Senior Lecturer at the Hebrew University of Jerusalem.[1] She acted as Head of Computer Science from 2005 to 2008, and as Head of Engineering between 2008 and 2011.[3] She was made a Full Professor in 2008.[3] In 2012 Kupferman was awarded a European Research Council grant to study high-quality reactive systems.[4] She is developing formal verification and synthesis computer systems for both hardware and software.[4] She uses automata theory approaches to check branching-time models.[3][5]

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.[6] She called for the Hebrew University of Jerusalem to end gender segregated education.[7][8]

Kupferman was elected to the Academia Europaea in 2016.[9] She was also awarded the Hebrew University of Jerusalem Michael Milken Prize for long-standing Excellence in Teaching.[2]

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.[2]

Selected publications

  • Kupferman, Orna (September 2002). "Alternating-time temporal logic". Journal of the ACM. 49 (5): 672–713. doi:10.1145/585265.585270. S2CID 15984608.
  • Kupferman, Orna (March 2000). "An automata-theoretic approach to branching-time model checking". Journal of the ACM. 47 (2): 312–360. doi:10.1145/333979.333987. S2CID 1216035.
  • Kupferman, Orna (May 1999). "Alternating-time Temporal Logic". Compositionality: The Significant Difference. Lecture Notes in Computer Science. Vol. 1536. pp. 23–60. doi:10.1007/3-540-49213-5_2. ISBN 978-3-540-65493-3.

References

  1. 1 2 3 "Orna Kupferman: Brief Bio". ptolemy.berkeley.edu. Retrieved 2019-05-13.
  2. 1 2 3 "Academy of Europe: CV". www.ae-info.org. Retrieved 2019-05-13.
  3. 1 2 3 "Liverpool Distinguished Computer Science Lectures". intranet.csc.liv.ac.uk. Retrieved 2019-05-13.
  4. 1 2 "From correct to high-quality reactive systems". Europa. Retrieved 2019-05-13.
  5. ↑ Kupferman, Orna; Y. Vardi, Moshe (2001). "Model Checking of Safety Properties". Form. Methods Syst. Des. 19 (3): 291–314. doi:10.1023/A:1011254632723. ISSN 0925-9856. S2CID 909779.
  6. ↑ Israel Institute for Advanced Studies (2016-10-26), Orna Kupferman - The gender challenge in academia, retrieved 2019-05-13
  7. ↑ Skop, Yarden (2013-06-23). "Plan to Offer Gender Segregated Studies at Hebrew U Sparks Outcry Among Faculty". Haaretz. Retrieved 2019-05-13.
  8. ↑ Sztokman, Elana (October 23, 2017). "How Israeli Colleges Are Discriminating Against Ultra-Orthodox Women". Forward. Archived from the original on May 14, 2019. Retrieved May 14, 2019.
  9. ↑ "Orna Kupferman - AcademiaNet". www.academia-net.org. Retrieved 2019-05-13.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.