0 Israel, 1952 -Informática. Ha orientado sus trabajos de investigación en la verificación formal automatizada de sistemas hardware y software. Es coautora del libro "Model Checking" (Verificación de Modelos), junto a Edmund M. Clarke y Doron A. Peled.2017-05-29
