Past teaching duties
Model-driven Software Engineering
(
MAP-i
Doctoral Programme in Computer Science)
Álgebra de Processos
(Master Course in
Computational Mathematics
)
[
Theme:
Process Calculi (emphasis on the use of algebraic and coalgebraic structures in program construction)]
Seminar on
Systems Design
(
University of Bristol
degrees on
Computer Systems Engineering
and
Mathematics for Intelligent Systems
)
[
Theme:
Systems design and prototyping using
Camila
]
Semântica da Programação
(3rd Year of
Computer Science
)
[
Theme:
Semantics of programming languages (operational and denotational).]
Métodos de Programação IV
(3rd Year of
Mathematics and Computer Science
)
[
Theme:
Specification and construction of reactive, concurrent systems.]
Especificação e Desenvolvimento Formal de Software
(Master Course in
Informatics
)
[
Theme:
Formal Methods in software development (using
VDM
).]
Métodos Formais de Programação I
(4th Year of
Mathematics and Computer Science
and
Systems and Informatics Engineerig
)
[
Theme:
Formal Methods for software development. Relational calculus.]
Métodos Programação I
(2nd Year of
Systems and Informatics Engineerig
)
[
Theme:
Pointfree functional programming and program calculi.]