PhD student at the University of Geneva in the Semantics, Modelling and Verification group.
Location:Geneva, Switzerland