Network Verification

Network Verification

Microsoft Research blog

People

Portrait of Ryan Beckett

Ryan Beckett

Principal Researcher

Portrait of Nikolaj Bjørner

Nikolaj Bjørner

Partner Researcher

Portrait of Jitu Padhye

Jitu Padhye

Partner Development Lead

Portrait of Andrey Rybalchenko

Andrey Rybalchenko

Senior Principal Researcher

Portrait of Siva Kesava Reddy Kakarla

Siva Kesava Reddy Kakarla

Senior Researcher

Portrait of Karthick Jayaraman

Karthick Jayaraman