Fwd: Gilles Dowek

[Joao Marcos]

Gilles teve uma longa e brilhante história de colaboração com lógicos brasileiros.

JM

-------- Forwarded Message

Bonjour à toutes et à tous,

C'est avec une immense tristesse que nous avons appris le décès de Gilles Dowek, survenu le 21 juillet 2025 à 58 ans, après plus de 3 ans d'un courageux combat contre un cancer.

Gilles, directeur de recherche à Inria et professeur attaché à l'ENS Paris-Saclay, était un chercheur de renommée internationale et il est difficile en quelques lignes de recenser ses apports à notre discipline. Ses travaux ont porté sur la formalisation des mathématiques, la théorie des types et de la preuve, les liens entre calcul et déduction, la réécriture, le calcul quantique, etc.
Ces travaux théoriques, reconnus de première importance, ont impulsé sa recherche sur leur mise à disposition via la conception et le développement d’outils : assistants de preuve (Coq puis Dedukti), création d’algorithmes améliorant la sûreté des systèmes aéronautiques, interopérabilité des preuves formelles, etc.

Au delà des aspects propres à son métier, Gilles était un informaticien engagé dans la société. Ses contributions relèvent de multiples domaines comme l’éthique, la vulgarisation,l’enseignement dans tous les cursus. Il a notamment contribué très largement à l'introduction de l'option ISN (Informatique et Science du Numérique) au lycée et jusque récemment il était encore très actif au Conseil Supérieur des Programmes.

Gilles a reçu de très nombreux prix qui démontrent à quel point il était reconnu par ses pairs, par exemple : le Grand prix de philosophie de l'Académie française pour le livre "Les Métamorphoses du calcul" en 2007, le Grand prix Inria - Académie des sciences en 2023, la médaille Histoire des Sciences et Épistémologie de l'Académie des sciences en 2024.

Enfin, Gilles était un orateur et un enseignant hors pair, avec une pédagogie incomparable, une très grande culture et aussi un débit de parole qui ne vous permettait pas de vous endormir. Il était ouvert à toutes et tous et était le premier à soutenir les plus jeunes. Nombreuses sont les personnes qu'il a inspirées, accompagnées et emmenées avec lui dans ses projets !

Merci, merci mille fois, Gilles ! T'avoir connu a été une chance, un plaisir mais surtout un honneur.

Pour finir, nous reprenons un paragraphe écrit en hommage par la SIF (Société Informatique de France), à laquelle Gilles a beaucoup contribué :
" Il laisse un riche héritage, écrit et filmé, qui traite de questions intemporelles et qui n’a pas fini de nous inciter à réfléchir. Il nous lègue aussi un regard optimiste dénué de tout angélisme, une invitation à poursuivre le développement de notre intelligence humaine les yeux grand ouverts sur le monde ".


Catherine Dubois, Thérèse Hardin, Olivier Hermant


Dear all,

it is with great sadness that we announce the passing of Gilles Dowek on 21 July, 58 years old, after a three-year courageous battle with cancer.

Gilles was a Research Director at Inria and an Associate Professor at ENS Paris-Saclay. He was a major scientist in Computer Science, internationally renowned. It is difficult to summarize his contributions to our discipline in just a few lines. His work focused on the formalization of mathematics, type theory and proof theory, the links between computation and deduction, rewriting, quantum computation, and more.
This theoretical work, recognized as being of prime importance, drove his research into making it available through the design and development of tools: proof assistants (Coq then Dedukti), the design of algorithms improving the safety of aeronautical systems, interoperability of formal proofs, etc.

Beyond the aspects specific to his profession, Gilles was a computer scientist committed to society. His contributions span multiple fields such as ethics, popularization, and teaching in all curricula. In particular, he contributed greatly to the introduction of the ISN (Computer Science and Digital Science) option in high schools, and until recently he was still very active on the Higher Council for Programs.

Gilles received numerous prizes, that demonstrate how well he was recognized by his peers: the Grand Prix de Philosophie award of the French Academy for the book "Les Métamorphoses du calcul" in 2007 ; the Grand Prix Inria - Academy of Sciences award in 2023 ; the History of Sciences and Epistemology medal of the Academy of Sciences in 2024.

Finally, Gilles was an outstanding speaker and teacher, with a speech rate that could not let you fall asleep, an unmatched pedagogy and a very large culture. He was open to everybody and was first to support the youngers. He has inspired, guided, and led in his projects uncountably many persons. Thank you for everything, Gilles. Having known you has been a chance, a pleasure, but above all an honor.

To conclude, we quote a paragraph that has been written by the SIF (French Computer Science Society), to which Gilles has largely contributed: "He leaves a rich inheritage, written and filmed, that tackles intemporal questions and that will for a long time keep us reflecting. He also leaves us an optimistic without naïve idealism viewpoint, an incitement to pursue the development of our human intelligence while keeping eyes wide open on the world."

Catherine Dubois, Thérèse Hardin, Olivier Hermant

[Valeria de Paiva]

Estamos todos muito tristes com essa noticia horrivel da morte de Gilles Dowek.

Minhas condolencias aa familia e todos os amigos, alunos, e colaboradores!

Apesar de nossa amizade e colaboracao de muitos anos, eu nao sabia de metade das coisas boas que Gilles fez.

Vai em paz, Gilles!

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LikSUs77%2Boj71obt%3DnoHpUpCJT4ZxkAKWRTf7aon%2BVAgw%40mail.gmail.com.

[Walter Carnielli]

Muito triste-- há não muito tempo ele fez um parecer a meu pedido, e
me disse que não estava bem de saúde.
Que descanse em paz, realmente.
W.

Em sex., 25 de jul. de 2025 às 18:36, Valeria de Paiva
<valeria...@gmail.com> escreveu:

> Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXvoP05tGS%3DBMpUnQ9tmgozuCXfU%3DQSt4ysH9xMB%2BbGVEw%40mail.gmail.com.



--
========================
Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil

AI2- Advanced Institute for Artificial Intelligence
Blog https://waltercarnielli.com/

https://www.name-coach.com/walter-carnielli

[jean-yves beziau]

Gilles Dowek fez parte da mesma turma que eu no final da década de 1980 no mestrado de lógica do departamento de matemática da Universidade de Paris 7.  

Era a "belle époque" com Jean-Louis Krivine, Jean-Yves Girard, Daniel Lascar, Max Dickman, Daniel Andler, etc. todos juntos.

Mais para frente, Gilles visitou o Rio de Janeiro e apresentou palestra no seminário de lógica carioca.

Ele foi membro da banca do prêmio de lógica Louis Couturat para França que eu lancei em 2018.

JYB