Graduate School in Computer Science, EPFL (1999-2000)
PhD, School of Computer and Communication Sciences, EPFL, Lausanne, Switzerland
Academic Advisor: Prof. Rachid Guerraoui
Research Interests
Distributed consensus algorithms.
In particular, time complexity of consensus algorithms that can tolerate arbitrary but finitely long periods of asynchrony.
You can't learn too soon that the most useful thing about a principle
is that it can always be sacrificed to expediency.
-- W. Somerset Maugham, "The Circle"
As soon as we started programming, we found to our surprise that it wasn't as
easy to get programs right as we had thought. Debugging had to be discovered.
I can remember the exact instant when I realized that a large part of my life
from then on was going to be spent in finding mistakes in my own programs.
-- Maurice Wilkes discovers debugging, 1949
"I think you're begging the question," said Haydock, "and I can see looming ahead one of those terrible exercises in probability where six men have white hats and six men have black hats and you have to work it out by mathematics how likely it is that the hats will get mixed up and in what proportion. If you start thinking about things like that, you would go round the bend. Let me assure you of that!"
-- Agatha Christie, The Mirror Crack'd. Toronto: Bantam Books, 1962.
The one L lama, he's a priest
The two L llama, he's a beast
And I will bet my silk pyjama
There isn't any three L lllama.
-- O. Nash