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 <[email protected]> escreveu: > > 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. > > -- > 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/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 -- 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/CAOrCsLcyeLSX6iZqWoOLAJnAurajOw%2Ba7G4nJQ2Y%3DoMD-8LgZA%40mail.gmail.com.
