Hugo Filipe Mendes Torres Vieira (IMT Lucca)

Advanced Topics of Computer Science

This course will be organized as series of reading groups or specialized seminars by members or collaborators of the research unit on System Modelling and Analisys (SysMA).

Formal Methods for Computer Science

This course is intended to acquaint new students with the computer science requirements of the PhD program and with some of the research areas that are active within the program. It aims at providing the basic mathematical techniques necessary for understanding semantics and logics of programming languages, which are at the basis of different kinds of program analysis.

Advanced Topics of Computer Science

This course will be organized as series of reading groups or specialized seminars by members or collaborators of the research unit on System Modelling and Analisys (SysMA).