Departamento de Informática (UM)

7119

Hugo José Pereira Pacheco

Prof. Auxiliar

Lógica e Métodos Formais

E-mail

E7-1.16

Qualificações: S/I

Página pessoal: https://www.inesctec.pt/en/people/hugo-pereira-pacheco

Investigação

Centro

HASLab

Repositórios

ORCID | Scopus | DBLP | CV

Publicações selecionadas

S/I

Projetos

S/I

Docência

Regências:

• Interface Pessoa-Máquina (ENGINF)
• Laboratórios de Informática I (ENGINF)
• Laboratórios de Programação I (CCOM)

Aulas:

• Laboratórios de Programação I [8501R4]: turno PL 3
• Laboratórios de Informática I [J301N6]: turno PL 2
• Interface Pessoa-Máquina [J305P1]: turno T 1

Serviço

S/I