Marco Esposito

[email protected]

Grenoble, France Postdoctoral Researcher at Verimag/Université Grenoble-Alpes, France. Main areas of interest: Formal Verification of Critical Systems, Black-Box Optimization