The tech community mourns the loss of Gilles Dowek, whose groundbreaking work on formal methods and the Dedukti framework revolutionized automated reasoning. His interdisciplinary legacy bridges theoretical computer science, philosophy, and advocacy for trustworthy computing.