Flávio L. C. de Moura

fmoura.jpg Assistant Professor in the Department of Computer Science at Universidade de Brasília.

Member of the Group of Theory of Computation GTC/UnB

Lattes Publications DBLP Teaching

[2020-09-18 Sex 11:23] Oferta de duas bolsas de graduação em Projeto A3M (Educação para o Terceiro Milênio)
Lógica Computacional assistida por provas formais
- Requisitos: conhecimentos de assistentes provas, lógica e algoritmos
- Tem interesse? Envie um email para flaviomoura@unb.br com uma cópia do seu histórico escolar até o dia [2020-09-27 Dom]

Clique aqui para agendar uma reunião.

Physical and Postal Address:
Departamento de Ciência da Computação
Instituto de Ciências Exatas
Universidade de Brasília, Edifício CIC/EST sala 03
Campus Universitário Darcy Ribeiro
CEP 70910-900, Asa Norte, Brasília - DF, Brazil.

Email: flavio@flaviomoura.info, flaviomoura@unb.br

Created: 2020-09-19 Sáb 14:40

Validate