The Rachel and Selim Benin School of Computer Science and Engineering
THE HEBREW UNIVERSITY OF JERUSALEM
עב
← Back to Faculty
OK

Orna Kupferman

Prof.

Kupferman Lab

Formal MethodsVerificationGame Theory

Develops formal methods for multi-agent system verification, synthesis, and game-theoretic analysis, using logic-based approaches to reason about autonomous systems and AI safety.