logo

Video encyclopedia

Orna Grumberg

Biography

1:44

Model Checking: Debugging Complex, Interacting Systems

 

2:10

Endor's seminar at The Technion

 

3:11

CACM Dec. 2019 - Automated Program Repair

 

2:27

Weld Management: Detail Model Checking with A360

 

0:58

Formal Software Verification - Week 1 Introduction

Orna Grumberg is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion.
Explore contextually related video stories in a new eye-catching way. Try Combster now!
  • Personal