"0000000110067047" . . "John" . "John Harrison" . "Ing\u00E9nieur principal \u00E0 Intel Corporation \u00E0 Portland, Or\u00E9gon. Il est specialiste dans la v\u00E9rification formelle, th\u00E9or\u00E8me automatis\u00E9 prouv\u00E9" . . . "male" . . "Harrison" . . . . "Harrison, John (1966-....)" .