C'est un fait suffisamment rare pour mériter que l'on en parle : le prestigieux
Prix Turing (certain le considère comme l'équivalent du Prix Nobel pour l'informatique) vient d'être co-décerné à Edmund M. Clarke (de l'université Carnegie Mellon), E. Allen Emerson (de l'université du Texas) , et Joseph Sifakis (Université de Grenoble, laboratoire Verimag) pour leur travaux sur le "
model checking".
Je vous invite à lire ces 2 articles pour avoir plus d'information sur le sujet et des liens sur cette thématique :
J'en profite pour vous recommander le livre "
ALAN TURING - L'homme qui a croqué la pomme" de Laurent Lemire chez Hachette si vous voulez en savoir plus sur Alan Turing le mathématicien reconnu comme un des pères fondateurs de l'informatique et qui a donné son nom à ce prix.
Articles
