(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Genre : Masculin
Notes
Note publique d'information :
Professeur d'informatique à l'Université de l'Utah, après avoir précédemment enseigné
à l'Université de Pittsburgh. Retraité depuis 2007, il a fait de nombreuses contributions
aux domaines de la gestion, la vérification, le langage de programmation, la conception,
la spécification et la mise en œuvre des données.