Flávio L. C. de Moura
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
| 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 |
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.