Hello, I’m Nicolas Braud-Santoni and this is my homepage.
I am a Computer Scientist. Read more…
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.