Sites Inria

There are 2 Results with the keyword : "prizes"

Aurélien Francillon Aurélien Francillon

Prize

Aurélien Francillon - 2009 Grenoble INP thesis prize

Vanessa Peregrin - 30/11/2010

Aurélien Francillon, a former PhD student on the PLANETE project-team, is one of the winners of the 2009 Grenoble INP thesis prize.

Keywords:

Home > Centre > Grenoble > News > Aurelien Francillon - Prix thèse 2009 Grenoble INP

More

Illustration Codage

Prize

Verification of complex systems

Marie Collin - 28/09/2010

CryptoMiniSat, software for verification of software or complex hardware architectures, won first prize at the SAT Race 2010 international competition.

Keywords:

Home > Centre > Grenoble > News > Vérification systèmes complexes

More

Top