Deducteam is sad to announce that Gilles Dowek, founder of Deducteam and of the Dedukti logical framework, died on 21 July 2025 at 58 years old. He made important contributions not only in logic (unification, automated theorem proving, type theory) but also in quantum programming languages and philosophy. He received several awards from the French Academy of Sciences. He was a brilliant speaker and teacher, and published several books in computer science, logic and philosophy. He has been very active in promoting the teaching of computer science in high school and contributed to the definition of the corresponding cursus. Finally, he supervised or co-supervised many PhD students. We are going to miss his kindness, humour and hindsight. Some press releases can be found here.