Professor na Universidade Federal Fluminense (IC/UFF) e pesquisador no FR∀M∃ Lab. Já fui pesquisador visitante no Deduc˫eam/INRIA, com o qual desenvolvo parceria em conjunto com a Université Lyon 3 e com o TecMF/PUC-Rio. Minha principal linha de trabalho é na área de lógica para sistemas concorrentes mas também tenho trabalhado no desenvolvimento de provadores de teoremas extensíveis, normalização para sistemas de dedução natural, ontologias, formalização de sistemas multi-agentes e teoria da prova para lógicas. Atualmente sou Secretário Geral da Sociedade Brasileira de Lógica e Coordenador do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação.
No vídeo, o Bruno fala sobre verificação e certificação de sistemas críticos, e, com base em diálogos com seus estudantes, reflete sobre diversos aspectos da representatividade LGBT em lógica, na academia e na carreira de Ciência da Computação. O vídeo está disponível no endereço https://youtu.be/Xf0hkH5uCBc -- 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%2BXRk8dYs3j5kJqC653z2uV9BDSo-2aDMKHVsrd-5Sk_yg%40mail.gmail.com.
