Dutch computer scientist (born 1951)
Verify ownership in 2 minutes. Keeps the profile accurate and discoverable.
Gerard J. Holzmann is a Dutch-American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker.
The six component signals behind the Fame score, and their ranks across the leaderboards.