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 (2006-2011)
    • Introdução aos Algoritmos e Estrutura de Dados (2007,2008, 2010-2012)

  • MSc courses, offered in MEIC-T, MEIC-A:
    • Segurança em Software (2010-2011)

  • PhD course, offered in DEASegInf, DEIC:
    • Language Based Security (2009-2010)










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:  2013/03/03