Gilles Dowek: an explorer of formal methods