Cursos Ministrados

Graduação
Organização de Computadores, em Informática e Eletrônica, 1985 e 1986.
Programação Avançada, em Informática, 1986, 1987 e 1989.
Programação Funcional, em Informática, 1992.
Engenharia de Software, em Informática, 1992.

Pós-Graduação
Linguagens de Programação, em Informática, em 1986/7 e 1989 a 1992.
Especificações Formais, em Informática, de 1987 a 1991.
Tópicos Avançados em Linguagens de Programação I e II em Informática, em 1986 a 1992.
Linguagens de Programação e Estruturas de Dados, em Informática, em 1988.
``Action Semantics'', em Informática, em 1989.
Comunicação e Concorrência, em Informática, 1990.
Semântica Denotacional, em Informática, de 1987 a 1991.
Engenharia de Software, em Informática, 1992 - 1993.
Projeto de Software Orientado a Objetos, em Informática, 1991.
Hipertexto e Hipermídia, em Informática, 1992 - 1993.

Extensão e Especialização:
Unix, no Iteci-Recife, em 1986 e 1987.
Linguagem C, no Iteci-Recife, 1986 e 1987.
Pascal e Controle em Tempo Real, na Açonorte-Recife, em 1986.
Introdução a Programação Funcional, nos Congressos da Sociedade Brasileira de Computação em Recife e Salvador, em 1986 e 1987.
Modula-2 em Ambientes Industriais, na Açonorte-Recife, em 1988.
Introdução a Programação Funcional, na Escola de Computação de 1988, realizada na Unicamp.
Tópicos Avançados em Engenharia de Software, na IBM-Brasil, Recife, de 1989 a 1991.
Hipertexto e Hipermídia, na Escola de Computação de 1992, realizada na UFRGS.