Giselle Reis é uma cientista da computação com tendências matemáticas que acabou na lógica. Ela fez graduação e mestrado na UFMG (Brasil), e doutorado na TUWien (Áustria). Também fez um pós-doutorado no Inria (França). Giselle atualmente é professora no departamento de ciência da computação na Carnegie Mellon University no Qatar. Sua pesquisa é em teoria de provas e logical frameworks, com ênfase em lógica linear. Ela está interessada principalmente na utilização de lógica como uma ferramenta para a construção de sistemas formalmente corretos.
No vídeo, Giselle fala sobre logical frameworks e representatividade de mulheres na área de Ciência da Computação. O vídeo está disponível no endereço https://youtu.be/QlqS3GzA28A -- Elaine. ------------------------------------------------- Elaine Pimentel - DMAT/UFRN Address: Departamento de Matemática Universidade Federal do Rio Grande do Norte Campus Universitário - Av. Senador Salgado Filho, s/nº Lagoa Nova, CEP: 59.078-970 - Natal - RN Phone: +55 84 3215-3820 http://sites.google.com/site/elainepimentel/ Lattes: http://lattes.cnpq.br/3298246411086415 -------------------------------------------------------- -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BUcBqPYwfxwL5Se%3DqArqdu8ZdtH2RyJbALpF4rkp1Mksg%40mail.gmail.com.
