Postdoctoral Researcher at Verimag/Université Grenoble-Alpes, France.
Main areas of interest: Formal Verification of Critical Systems, Black-Box Optimization
- Grenoble, France
Search results
0 open and 0 closed projects found.-
There aren't any projects yet