Orna Grumberg

. Orna Grumberg is Professor of Computer Science at Technion, Israel Institute of Technology.