Hello, I’m Nicolas Braud-Santoni and this is my homepage.
I am a Computer Scientist. Read more…

Research interests

I’m interested in the study of distributed systems, fault-tolerance and the trade-off it imposes between complexity, asynchrony and resilience. Moreover, randomization plays a key role in this setting, as evidenced by a large body of publications.

I’m also interested in the specification, formal proof and automated verification of randomized and/or distributed algorithms.

Current position

From September to January, I’ll be working with Dr. Swen Jacobs at TU Graz in Austria.
Our work will focus on synthesis and verification of distributed systems.

I’m currently on scholarship from ENS Cachan, Brittany campus.