master sciences et technologie mention sciences et technologies de l'information et de la communication specialite informatique: parallelisme, verification, graphes, contraintes, apprentissage finalite recherche le master recherche en informatique vise a former des etudiants a la recherche et par la recherche. la formation de seconde annee est centree sur les aspects