Question: Are Bill Porter (Golfer) and Jan Hajek (Scientist) of the same nationality?
Sentence (from "Jan Hajek (scientist)"): He also created' Approver'" which was probably the first tool for the automated verification of concurrent systems".
Relevant evidence: No