No profile matches “”.
Sections
People tagged with University of Texas at Austin.
1 profile
Co-inventor of model checking and Turing Award winner
1954 – 2024