Cet axe porte sur la conception et l’application de méthodes formelles et de méthodes mathématiques en informatique et en modélisation. Nous nous intéressons à la conception et à l’analyse d’algorithmes et de systèmes logiciels pour lesquels nous prouvons des propriétés, telles que par exemple : correction, complexité, sûreté, réactivité … Cette approche méthodologique est appliquée à des domaines variés dans l’unité.