Diego Oliveira

Diego Oliveira est un étudiant au troisième cycle sous la supervision du professeur Marc Frappier. Détenteur d’une maitrise en informatique, Diego travaille sur l’ajout de contraintes de temps réel sur la notation graphique ASTD (Algebraic State Transition Diagrams). Passionné par le bon fonctionnement et la sécurité des logiciels, Diego est un passionné des méthodes formelles.