There are 2 Results with the keyword : "prizes"
Aurélien Francillon, a former PhD student on the PLANETE project-team, is one of the winners of the 2009 Grenoble INP thesis prize.
CryptoMiniSat, software for verification of software or complex hardware architectures, won first prize at the SAT Race 2010 international competition.
Inria Research Centers
- Grenoble (2)