Formal trust in an abstract property, be it a mathematical result or a quality of the behavior of
a computer program or a piece of hardware, is founded on the existence of a proof of its …

Like any scientific undertaking, a thesis does not develop in a vacuum, and personal as it is,
it is informed by the indirect as well as the direct influence of many people. In the roll call of …

Les travaux présentés succinctement dans ce mémoire concernent ce que l'on peut
présenter en première lecture comme des démonstrations de la complétude des méthodes …