Orna Kupferman

Orna Kupferman is a researcher affiliated with the Hebrew University of Jerusalem in Israel. Their work spans primarily within the field of computer science, with a particular focus on computational theory and mathematics, artificial intelligence, software, management science and operations research, and computer networks and communications. The total number of publications in these subfields illustrates a broad but concentrated research interest.

The main topics addressed in their research include formal methods in verification, semigroups and automata theory, logic, programming, and type systems, logic, reasoning, and knowledge, as well as aspects of machine learning and algorithms, multi-agent systems and negotiation, and software reliability and analysis research.

Recent papers authored or co-authored by Kupferman cover a range of subjects within these domains. Selected works include:

• "What's decidable about weighted automata?" (2020) published in Information and Computation
• "Minimization and Canonization of GFG Transition-Based Automata" (2022) published in Logical Methods in Computer Science
• "Using the past for resolving the future" (2023) published in Frontiers in Computer Science
• "Reasoning about Quality and Fuzziness of Strategic Behaviors" (2023) published in ACM Transactions on Computational Logic
• "Coverage and Vacuity in Network Formation Games" (2020) published by Leibniz-Zentrum für Informatik (Schloss Dagstuhl)

Kupferman frequently collaborates with a set of co-authors, signifying ongoing research partnerships. These frequent co-authors include Ofer Leshkowitz (9 joint publications), Bader Abu Radi (8), Noam Shenwald (5), Shaull Almagor (3), and Salomon Sickert (3).

Their research has been disseminated through various publication venues, with multiple contributions found in:

• Leibniz-Zentrum für Informatik (Schloss Dagstuhl) (7 publications)
• arXiv (Cornell University) (4 publications)
• ACM Transactions on Computational Logic (3 publications)
• Information and Computation (3 publications)
• Logical Methods in Computer Science (2 publications)

In terms of scholarly books, Kupferman has contributed to works published by Springer Science+Business Media, notably authoring "Foundations of Software Science and Computation Structures" in 2023.

Recognition of their academic contributions includes election as a Member of Academia Europaea in 2016.