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