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!
On Fri, Jul 25, 2025 at 3:32 AM Joao Marcos <[email protected]> wrote: > 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 > > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <[email protected]> > --- > 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 [email protected]. > 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 > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LikSUs77%2Boj71obt%3DnoHpUpCJT4ZxkAKWRTf7aon%2BVAgw%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu 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 [email protected]. 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.
