https://coetaur0.github.io
Geneva, Switzerland PhD student at the University of Geneva in the Semantics, Modelling and Verification group.
Aurelien Coet
