Afiliações
- Professor auxiliar no Departamento de Matemática, Faculdade de Ciências e Tecnologia da Universidade do Algarve
- Membro do Grupo de Segurança e Informação Quântica no Instituto de Telecomunicações
Publicações
Ensino
No ano letivo de 2011/12 serei o docente responsável pelas seguintes cadeiras do curso de Engenharia Informática:
- 2º módulo - Linguagens Formais e Autómatos
- Programa, bibliografia, e avaliação
- Apontamentos teóricos
- Folhas de exercícios
- Trabalhos práticos online
- Exames:
- 2010/11: normal; recurso
- 2011/12: normal: resultados
- 4º módulo - Lógica Computacional