Teaching

I have experience in teaching at all Higher Education levels and in a variety of modules on software engineering, algorithms, introductory programming, programming languages, and mathematics.

For more details, see below.

PhD Students

• Álvaro Silva, started 2024
• Nuno Saavedra, started 2023 (co-supervised with João Ferreira)
• Alexandre Abreu, started 2023 (co-supervised with Nuno Macedo)
• Carolina Carreira, started 2023 (co-supervised with João Ferreira and Nicolas Christin)
• Saul Johnson, finished in 2024 (co-supervised with João Ferreira and Julien Cordry)
• Jamie Matthews, finished in 2020 (co-supervised with Julie Porteous and Fred Charles)

Courses

I currently teach in the Master in Informatics and Computing Engineering and in the BSc in Informatics and Computing Engineering.

University of Porto

• 2021/22
  • Theory of Computation, BSc, Spring 2022

University of Beira Interior

• 2021/22
  • (Module Leader) Programming, BSc, Fall 2021
    
    
• 2020/21
  • (Module Leader) Programming¹, BSc, Fall 2020
  • (Module Leader) Computational Logic, BSc, Spring 2021
    
    
• 2019/20
  • (Module Leader) Programming Paradigms, MSc, Spring 2020
  • (Module Leader) Programming I, BSc, Spring 2020
  • Computational Logic, BSc, Fall 2019
  • Language Processing, BSc, Fall 2019
    
    
• 2018/19
  • (Module Leader) Programming I, BSc, Spring 2019
  • Distributed Systems, BSc, Spring 2019

Teesside University

• 2017/18
  • (Module Leader) Introduction to Mathematics, BSc, Spring 2018
  • Network Scripting, BSc, Fall 2017
  • Java Programming 2, BSc, Spring 2018
  • Java Programming 1, BSc, Fall 2017
  • Masters Project, MSc, Spring 2017 (Supervison of 2 students)
    
    
• 2016/17
  • (Module Leader) Introduction to Mathematics, BSc, Spring 2017
  • Network Scripting, BSc, Fall 2016
  • Java Programming 2, BSc, Spring 2017
  • Java Programming 1, BSc, Fall 2016
  • Final Year Project, BSc, Spring 2017 (Supervison of 5 students’ projects)
    
    
• 2015/16
  • (Module Leader) Introduction to Mathematics, BSc, Spring 2016
  • Network Scripting, BSc, Fall 2015
  • Java Programming 2, BSc, Spring 2016
  • Java Programming 1, BSc, Fall 2015
  • Cloud and Web Services, BSc, Fall 2015
  • Final Year Project, BSc, Spring 2016 (Supervison of 10 students’ projects)
    
    
• 2014/15
  • (Module Leader) Introduction to Mathematics, BSc, Spring 2015

York St John University

• 2014/15
  • (Module Leader) Software Engineering, BSc, Fall 2014
  • (Module Leader) Mathematics for Computer Science, BSc, Fall 2014
  • (Module Leader) Introduction to Programming I, BSc, Fall 2014
    
    
• 2013/14
  • (Module Leader) Introduction to Programming II, BSc, Spring 2014
  • (Module Leader) Mathematics for Computer Science, BSc, Fall 2013
  • (Module Leader) Introduction to Programming I, BSc, Fall 2013

The University of Nottingham

• Between 2006 and 2009
  • I was a tutor for the modules Algorithmic Problem Solving and Mathematics for Computer Scientists