1998 wurde sie zum Senior Lecturer an der Hebräischen Universität Jerusalem ernannt. Von 2005 bis 2007 leitete sie das dortige Institut für Informatik. 2008 wurde sie dann zur Professorin berufen. Sie war von 2012 an Vizerektorin der Universität.[3]
Kupferman war Chefredakteurin der Fachzeitschrift ACM Transactions on Computational Logic. Außerdem betätigte sie sich im redaktionellen Beirat von Formal Methods in System Design und Logical Methods in Computer Science.[3]
Kupfermans Forschungsschwerpunkt sind die theoretischen Grundlagen der formalen Verifikation und des Aufbaus von Computersystemen. Insbesondere beschäftigt sie sich mit Automaten, temporaler Logik, quantitativer Analyse, Leere und Abdeckung.[3]
Für das Projekt From correct to high-quality reactive systems erhielt sie eine Starting-Grant-Förderung des Europäischen Forschungsrats.[5] Ihre Forschung zu Theoretical Foundations of Advanced Synthesis wird mit einem Advanced Grant gefördert.[6]
Ausgewählte Publikationen
Mit Rajeev Alur und Thomas Henzinger: Alternating-time temporal logic. In: Journal of the ACM Volume 49, No. 5. 2002.
Mit Moshe Y. Vardi und Pierre Wolper: An automata-theoretic approach to branching-time model checking. In: Journal of the ACM Volume 47, No. 2. 2000.
Mit Moshe Y. Vardi: Model checking of safety properties. In: Formal methods in system design Volume 19, No. 3. 2001.
