Catuscia Palamidessi

Catuscia Palamidessi

研究主任,INRIA

課程綱要

Catuscia Palamidessi 是 INRIA Saclay 的研究主任,負責管理 COMETE 團隊。
她於1988年獲得比薩大學博士學位。過去曾任熱那亞大學(1994-1997)及賓夕法尼亞州立大學(1998-2002)的正教授。

Catuscia Palamidessi 的研究領域包括隱私、安全資訊流與並行運算。

已發表76篇期刊論文和112篇會議論文。至今,其作品已被引用5822次,h指數為41。

他指導過25名博士生和20名博士後研究員。

她曾被任命為多個會議的程序委員會主席,包括 CONCUR 2000、ICLP 2003、ICALP 2005、SOFSEM 2009、QEST 2011、FORTE 2014 及 LICS 2015。

他是《Mathematical Structures in Computer Science》(劍橋大學出版社)和 LIPIcs 的編輯委員會成員。

他是SIGLOG(ACM邏輯與計算特別興趣小組)、EATCS(歐洲理論計算機科學協會)、ETAPS(歐洲軟體理論與實踐聯合會議)及CSL(計算機科學邏輯)執行委員會成員。

Airplane
訂閱我們的通訊日報

訂閱以在您的郵箱中接收我們活動的最新消息

立即註冊