CNRS researcher, mathematical foundations of computer science, philosophy of computation. Scientific secretary of CoNRS section 06, member of the board of CoNRS interdisciplinary committee CID 53. ๐@thomasseiller@lipn.info ๐ https://www.seiller.org