Orna Kupferman

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.