Instituto Superior Técnico
Lisboa, Portugal

Ana Gualdina Almeida Matos






Top

Courses

Also for students


I am an Assistant Professor at the Department of Computer Science and Engineering of IST, Lisbon, mostly at the Tagus Park campus.







Home Research


















Top

Courses

Also for students

Courses

I have been teaching (lectures and tutorials) the following courses:
  • BSc courses, offered in LEIC-T, LCERC, LEE:
    • Fundamentos da Programação (06/07, 07/08, 08/09, 09/10, 10/11)
    • Introdução aos Algoritmos e Estrutura de Dados (06/07, 07/08, 09/10, 10/11)

  • MSc courses, offered in MEIC-T, MEIC-A:
    • Fundamentos das Linguagens de Programação
    • Segurança em Software (10/11)

  • PhD course, offered in DEASegInf, DEIC:
    • Language Based Security (09/10, 10/11)










Top

Courses

Also for students


Also for students

  • More information on research and teaching in security that is performed in Tagus on the webpage of our "special interest group" (SFS@Tagus).

  • Segurança de fluxos de informação em redes: uma aplicação da teoria de tipos, 2007 - Um artigo de divulgação da minha investigação.  [PDF]








last update:  2011/03/02