Network

Raphaël Reynouard

  • Dept. of Computer Science

External person

Anna Ingolfsdottir

  • Dept. of Computer Science

External person

Franck van Breugel

  • York University

External person

Bernhard K. Aichernig

  • Univeristy of Graz
  • Graz University of Technology

External person

Martin Tappler

  • Graz University of Technology

External person

Maria Eichlseder

  • Univeristy of Graz

External person

Qiyi Tang

  • Imperial College London

External person

Pierre-Alain Reynier

  • CNRS
  • Aix-Marseille Université

External person

Mirco Tribastone

  • IMT Institute for Advanced Studies Lucca
  • Ludwig Maximilian University of Munich
  • University of Southampton
  • IMT School for Advanced Studies Lucca

External person

Andrea Vandin

  • Technical University of Denmark
  • IMT Institute for Advanced Studies Lucca
  • Sant'Anna School of Advanced Studies

External person

Uli Fahrenberg

  • Irisa / INRIA Rennes

External person

Nicolas Markey

  • Laboratoire Spécification et Vérification, CNRS
  • Institut national des sciences appliquées de Rennes
  • École normale supérieure Paris-Saclay

External person

Pierre-Alain Reynier

  • LIF, Aix-Marseille University & CNRS

External person

Patricia Bouyer

  • LSV, CNRS & ENS de Cachan

External person

Benoît Delahaye

  • INRIA/IRISA Rennes

External person