- Amazon Web Services [Seattle]
- Centre National de la Recherche Scientifique
- Department of Formal Methods
- Inria Nancy - Grand Est
- Institut National de Recherche en Informatique et en Automatique
- Laboratoire Lorrain de Recherche en Informatique et ses Applications
- Max-Planck-Gesellschaft
- Max-Planck-Institut für Informatik