Laurent Simon

Laurent Simon est professeur dans le groupe de méthodes formelles du laboratoire d'informatique de Bordeaux (Labri) de l'Université de Bordeaux depuis septembre 2013.