アンカ・ムショル

アンカ・ムショール（1967年生まれ）^{[ 1 ]}は、形式検証、モデル検査、2変数論理に関する研究で知られるルーマニア系ドイツ人の数理論理学者および理論計算機科学者です。彼女はボルドー情報科学研究所（LaBRI）の研究員であり、ボルドー大学の教授であり、フランス大学研究所の元ジュニアメンバーです。^{[ 2 ]}

ムショルはブカレストで生まれ、^{[ 3 ]} 1984年に十代の難民としてドイツにやって来て、^{[ 4 ]} 1985年と1986年にドイツの全国数学コンテスト（ Bundeswettbewerb Mathematik ）で2回優勝した。^{[ 2 ] [ 4 ]}ミュンヘン工科大学で修士号を取得し、^{[ 2 ]} 1994年にシュトゥットガルト大学で博士号を取得した。博士論文「Über die Erkennbarkeit unendlicher Spuren 」はフォルカー・ディーケルトの指導の下、1996年にトイブナー出版から出版された。^{[ 3 ]}また、 1999年にはシュトゥットガルト大学で教授資格を取得した。^{[ 2 ]}

1999年にパリ・ディドロ大学の教授になった後、2006年にボルドー大学に移った。^{[ 2 ]}

ムショールは2007年から2012年までフランス大学研究所のジュニアメンバーだった。^{[ 2 ]}彼女は2010年にCNRS銀メダルを受賞した。 ^{[ 2 ] [ 4 ]}

• ホームページ
• Anca Muschollの出版物（ Google Scholarに索引付けされているもの）