SBMF - Palestrante Convidada: Catuscia Palamidessi

 

Catuscia Palamidessi é Diretora de Pesquisa da INRIA Saclay, onde lidera a equipe COMETE. Ela obteve seu título de PhD na Universidade de Pisa em 1988. Ela ocupou cargos de Professor Titular na Universidade de Genova, Itália (1994-1997), e na Universidade do Estado da Pennsylvania, EUA (1998-2002).

Os interesses de pesquisa atuais de Catuscia Palamidessi incluem Segurança e Concorrência. Suas realizações já alcançadas incluem a prova de lacunas de expressividade entre diversos cálculos concorrentes, e o desenvolvimento de uma versão probabilística do pi-cálculo assíncrono. Mais recentemente, ela contribuiu para estabelecer as fundações do fluxo de informações seguro probabilístico.

Catuscia Palamidessi foi nomeada Presidente de Comitê de Programa ou Coordenadora Geral de diversas conferências, incluindo PLIP/ALP'98, CL 2000, CONCUR 2000, ICLP 2003, ICALP 2005, SOFSEM 2009 e QEST 2011, e atuou como membro de Comitês de Programa em mais de 70 conferências. Ela foi convidada como palestrante convidada em várias conferências, incluindo CONCUR 1999, PPDP 2003, MFPS XXI, LICS 2010, AMASt/MCM 2010 e ICALP 2011. Ela participa do corpo Editorial dos periódicos Mathematical Structures in Computer Science (Cambridge University Press), Theory and Practice of Logic Programming (Cambridge University Press) e Electronic Notes in Theoretical Computer Science (Elsevier). Ela participa do Comitê Diretivo da EATCS (European Association for Theoretical Computer Science), ETAPS (European Joint Conferences on Theory and Practice of Software), e ARSPA-WITS (Theory of Security).

Para mais detalhes, visite sua home page.



Promoção

   

Organização

       

Patrocínio