Departamento de Informática (UM)

7039

Carlos Eduardo Teixeira Tavares

Prof. Auxiliar Convidado

Lógica e Métodos Formais

E-mail

Qualificações: 2022 - Doutoramento (MAPi) em Informática (U.Minho, U.Aveiro & U.Porto)

Página pessoal: https://www.inesctec.pt/pt/pessoas/carlos-eduardo-tavares

Investigação

Centro

HASLab

Repositórios

ORCID | Scopus | DBLP

Publicações selecionadas

S/I

Projetos

S/I

Docência

Regências: Nenhuma atribuída actualmente

Aulas:

• Programação e Algoritmia [L201N6]: turnos PL 1 e T 1
• Sistemas de Computação [L301N3]: turno PL 1

Serviço

S/I