Dans le cadre d'une mise à jour, gricad-gitlab sera indisponible la matinée du jeudi 10 Octobre.
Associate Professor in Computing Sciences at UGA. Researcher at Verimag lab (verification, compilation, hardware design)
