Teaching (in Portuguese)
- 2023-2024
- 2022-2023
- 2021-2022
- 2019-2020
- 2018-2019
- 2017-2018
- 2016-2017
- 2015-2016
- 2014-2015
- 2013-2014
- 2012-2013
- 2011-2012
- 2010-2011
- 2009-2010
-
- Introdução aos Computadores
- Lógica e Programação
- Verificação Formal de Software
- 2008-2009
- 2007-2008
-
- Verificação Formal de Software
- Estruturas de Dados
- Fundamentos de Linguagens de Programação
- Estágio Pedagógico
- 2006-2007
- 2005-2006
- 2004-2005
-
- Lógica Computacional
- Tópicos Avançados de Informática (módulo Sistemas dedutivos e Teoria de Tipos) (Mestrado em Informática)
- Modelos de Computação
- 2003-2004
-
- Lógica Computacional
- Tópicos Avançados de Informática (módulo Sistemas dedutivos e Teoria de Tipos) (Mestrado em Informática)
- Modelos de Computação
- 2002-2003
-
- Modelos de Computação
- Projecto
- 2001-2002
- 2000-2001
- 1999-2000
- 1998-1999
- 1997-1998
- 1996-1997
-
- Introdução aos Computadores
- Teoria da Computação
- Inteligência Artificial
- Interfaces Homem Máquina
- 1995-1996
-
- Introdução aos Computadores
- Teoria da Computação
- Tópicos de Matemática Discreta
- Complexidade
- 1994-1995
-
- Introdução aos Computadores
- Teoria da Computação
- Complexidade
- 1986-1991
-
- Cálculo Automático
- Teoria da Computação
- Teoria da Complexidade
- Introdução aos Computadores
- Probabilidades e Estatística
- Análise Linear
- Cálculo Automático
Made in RapidWeaver