Associate Professor in Computing Sciences at UGA. Researcher at Verimag lab (verification, compilation, hardware design)
