Nathalie Bertrand -

Not registered as user yet

Name:Nathalie Bertrand

Affiliation:INRIA Rennes

Contributions

VMCAI 2021	Author of A Reduction Theorem for Randomized Distributed Algorithms under Weak Adversaries within the VMCAI-track
QAPL 2019	Steering Committee Member in Steering Committee within the QAPL-track
MeTRiD 2019	Author of Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries within the MeTRiD-track