System Verification People (First 9 people) - Page 0
Bryan Parno
Author
Luca De Alfaro
Author
Victor Vianu
Computer scientist
David Samuel Rosenblum
Computer scientist
Dawson Engler
Computer scientist
John Rushby
British computer scientist
Radu Calinescu
Researcher
Oleg Sokolsky
Researcher
