Premis Turing 2007

Els Turing Awards són uns premis concedits anualment per la ACM a la que és considerada la major contribució de l'any al camp de la informàtica.
Enguany els afortunats han estat Edmund M. Clarke, E. Allen Emerson, i Joseph Sifakis, per la seva contribució al món de la validació formal de programari i maquinari amb el Model Checking. Bàsicament, el sistema consisteix en validar si tots els possibles estats del projecte s'adiuen amb l'especificació del programa/dispositiu, tenint en compte factors temporals i seqüències d'esdeveniments. Enhorabona als premiats!

Òbviament és un tema complex, s'escapa amb molt als meus coneixements. També és un camp que s'està deixant bastant de banda en l'ensenyament de la informàtica (encara que sortadament a la UIB tenim "Autòmats i llenguatges formals", una assignatura que dona molta importància a la validació formal i als límits de la computació), i que és crucial per donar a la ciència computacional el rigor que necessita.

Tot i això, no voldria acabar sense fer un petit apunt sobre la llicència emprada en el programari que implementa la seva recerca. El codi font és el millor contenidor del coneixement, compartir-ho és essencial per a la construcció del futur, i gent tan relacionada amb l'àmbit universitari i de recerca ho hauria de saber.