ジル・ドウェク

ジル・ドウェク（1966年12月20日 - 2025年7月21日）はフランスのコンピュータ科学者、論理学者であった。

ドウェクは1966年12月20日にパリで生まれた。1991年、ジル・ドウェクはパリ第7大学で「構成計算における自動証明」というタイトルの博士論文を提出し、学位を取得した。^{[ 1 ]}

彼は2002年から2010年までエコール・ポリテクニークで教鞭を執り、その後INRIAの研究員となり、パリ・サクレー高等師範学校の形式手法研究所に所属し、亡くなるまで同校の客員教授も務めた。^{[ 2 ]}

2007年、彼は著書『微積分学の変容：驚くべき数学の歴史』でフランス学士院哲学大賞を受賞した。^{[ 3 ]}

彼は、2019年に立ち上げられた数学的証明の百科事典であるLogipediaの発起人の一人だった。その目的の一つは、異なる証明支援システムが相互運用できるようにすることである。^{[ 4 ]}

彼は2025年7月21日にパリで癌のため58歳で亡くなった。^{[ 5 ]}

ドウェクは同性愛者であり、同性愛者とトランスジェンダーの人々の移民と居住の権利を認める協会の会長を務めていた。^{[ 6 ]}

• IMDbのジル・ドウェック