miguel pupo correia           
 

teaching

at IST, courses of the bachelor, master and PhDs in Computer Science and Security

  • 2022/23
    • Network and Computer Security (2nd semester) - T
    •  
  • 2021/22
    • Network and Computer Security (2nd semester) - T+L
    • Software Security (1st semester) - T
       
  • 2020/21
    • Distributed Systems (2nd semester) - T
    • Forensics Cybersecurity (2nd semester) - T
       
  • 2019/20
    • Network and Computer Security (2nd semester) - T
    • Distributed Systems (2nd semester) - T
    • Software Security (1st semester) - T
       
  • 2018/19
    • Network and Computer Security (2nd semester) - T
    • Forensics Cybersecurity (2nd semester) - T
    • Advanced Topics in Cybersecurity (2nd semester) - T
    • Network and Computer Security (1st semester) - T
    • Software Security (1st semester) - T
       
  • 2017/18
    • Network and Computer Security (2nd semester) - T
    • Forensics Cybersecurity (2nd semester) - T
    • Advanced Topics in Cybersecurity (2nd semester) - T
       
  • 2016/17
    • Intrusion Tolerance, Detection and Response (2nd semester) - T
    • Software Security (1st semester) - T+L
       
  • 2015/16
    • Security and Network Management (2nd semester) - T
    • Intrusion Tolerance, Detection and Response (2nd semester) - T
    • Software Security (1st semester) - T+L
       
  • 2014/15
    • Security and Network Management (2nd semester) - T
    • Intrusion Tolerance, Detection and Response (2nd semester) - T
    • Software Security (1st semester) - T+L
    • Computer Networks (1st semester) - T
       
  • 2013/14
    • Intrusion Tolerance, Detection and Response (2nd semester) - T
    • Software Security (1st semester) - T+L
    • Computer Networks (1st semester) - T
       
  • 2012/13
    • Security and Network Management (2nd semester) - T
    • Intrusion Tolerance, Detection and Response (2nd semester) - T
    • Software Security (1st semester) - T+L
    • Computer Networks (1st semester) - T+L
       
  • 2011/12
    • Network and Service Management (2nd semester) - T+L
    • Intrusion Tolerance, Detection and Response (2nd semester) - T
    • Software Security (1st semester) - T+L
    • Computer Networks (1st semester) - T+L
       

at FCUL, courses of the CMU/FCUL MSc in Information Security

  • 2010/11
    • Secure Software Systems / Sistemas de Software Seguros (Spring 10/11) - instructor
       
  • 2009/10
    • Secure Software Systems / Sistemas de Software Seguros (Spring 09/10) - instructor
    • Fault-Tolerant Distributed Systems / Sistemas Distribuídos Tolerantes a Faltas (Fall 09/10) - instructor
       
  • 2008/09
    • Secure Software Systems / Sistemas de Software Seguros (Spring 08/09) - instructor
    • Packet Switching and Computer Networks / Fundamentos de Redes de Telecomunicações e Computadores (Fall 08/09) - co-instructor
       
  • 2007/08
    • Secure Software Systems / Sistemas de Software Seguros (Spring 07/08) - instructor
    • Packet Switching and Computer Networks / Fundamentos de Redes de Telecomunicações e Computadores (Fall 07/08) - co-instructor
       

at FCUL, courses of the bachelor, master and PhD in Informatics

  • 2006/07
    • Segurança de Software (2º semestre) - T
    • Configuração e Gestão de Sistemas (2º semestre) - TP
    • Seminário em Redes e Sistemas Distribuídos I (1º semestre) - T
    • Sistemas Distribuídos (1º semestre) - T
    • Introdução aos Sistemas Computacionais (1º semestre) - TP
       
  • 2005/06
    • Segurança de Software (2º semestre) - T
    • Seminário em Redes e Sistemas Distribuídos II (2º semestre) - T
    • Segurança (2º semestre) - TP
    • Configuração e Gestão de Sistemas (2º semestre) - TP
    • Seminário em Redes e Sistemas Distribuídos I (1º semestre) - T
    • Sistemas Distribuídos (1º semestre) - T
    • Introdução aos Sistemas Computacionais (1º semestre) - TP
       
  • 2004/05
    • Segurança de Software (2º semestre) - T
    • Redes de Computadores (2º semestre) - TP
    • Configuração e Gestão de Sistemas (2º semestre) - T+TP
    • Seminário em Redes e Sistemas Distribuídos I (1º semestre) - T
    • Introdução aos Sistemas Computacionais (1º semestre) - TP
       
  • 2003/04
    • Seminário em Redes e Sistemas Distribuídos II (2º semestre) - T
    • Segurança (2º semestre) - TP
    • Configuração e Gestão de Sistemas (2º semestre) - TP
    • Introdução aos Sistemas Computacionais (1º semestre) - TP
       
  • 2002/03
    • Fundamentos de Sistemas Distribuídos (2º semestre) - TP
    • Configuração e Gestão de Sistemas (2º semestre) - TP
    • Sistemas Operativos Avançados (1º semestre) - TP
       
  • 1998/99
    • Configuração e Gestão de Sistemas (2º semestre) - TP
    • Programação de Sistemas Distribuídos (1º semestre) - TP
    • Introdução aos Sistemas Computacionais (1º semestre) - TP
       
  • 1997/98
    • Sistemas Distribuídos I (2º semestre) - TP
    • Complementos de Redes e Sistemas Distribuídos (2º semestre) - TP
    • Sistemas Distribuídos II (1º semestre) - TP
    • Programação Imperativa (1º semestre) - TP

at EST/IPS

  • 1996/97
    • Electrotecnia (2º semestre) - P
    • Oficinas de Electrónica (1º semestre) - P
    • Desenho e Oficina de Electrónica (1º semestre) - P
       
  • 1995/96
    • Electrónica III (2º semestre) - P
    • Oficinas de Electrónica (1º semestre) - P
    • Desenho de Electrónica (1º semestre) - P

at IST (TA)

  • 1994/95
    • Sistemas Digitais (2º semestre) - P
       
  • 1990/91
    • Teoria dos Circuitos (1º semestre)
       
  • 1989/90
    • Teoria dos Circuitos (1º semestre)