Researcher portraits, Research
Gilles Dowek: at the crossroads of computer science, logic and philosophy
… Gilles Dowek: at the crossroads of computer science, logic and philosophy Gilles Dowek: at the crossroads of computer science, logic and philosophy We previously published this portrait of … in formal mathematical demonstration. Return to France and development of logical frameworks In 1993, Gilles Dowek …Published on: