カトゥシア・パラミデッシ

カトゥシア・パラミデッシ（1959年生まれ）は、差分プライバシー、位置情報の難読化、機械学習における公平性、並行システムのロジック、論理プログラミングと関数型プログラミングを組み合わせたプログラミング言語の設計などを研究しているコンピュータ科学者です。イタリア出身で、イタリア、米国、フランスで勤務し、フランスではフランス情報科学・自動化研究所（Inria）の研究ディレクターを務めています。

パラミデッシは1959年にトスカーナ州の小さな村フチェッキオ^[1]で生まれ、両親の反対にもかかわらずピサ大学で学び始めたとき、その村から大学に進学した最初の女性となった。 ^[2]そこで研究を続け、 1982年にラウレアを取得し、1988年にジョルジョ・レヴィを博士課程の指導教官として博士号を取得した。^{[1] [3]}

彼女は1988年から1992年までピサ大学の助教授、 1992年から1994年までジェノバ大学の准教授、1994年から1997年までジェノバ大学の教授を務めた。1998年から2002年まで米国ペンシルベニア州立大学の教授を務め、 ^[1] 2002年に夫とともにフランスに移住し、Inriaの研究ディレクターに就任した。^{[2] Inriaでは、}パリサクレー大学を拠点とし、コンピューターセキュリティとプライバシーにおける形式手法に焦点を当てたComèteチームのリーダーを務めている。^[4]

2022年、パラミデッシはINRIA（フランス科学アカデミー）大賞を受賞した [fr]。^[2]

パラミデッシは、同じくインリア・サクレーで働くアメリカ人コンピュータ科学者のデール・ミラーと結婚している。 ^[5]

• ホームページ
• Google Scholarにインデックスされた Catuscia Palamidessi の出版物