Affiliations | | Short CV | | Research |
Winter Semester: Introduction to Programming
Spring Semester: Theory of Computation
Computational Logic
Data Structures and Algorithms
Discrete Mathematics
Elements of Programming
Languages and Automata
Theory of Concurrent Processes
Cláudio Vasconcelos (PhD)
Working on behavioural type inference for concurrent object-oriented languages.Joana Martinho
Luis Dominguez (PhD)
Working on relational foundations for polymorphic functional object-based program calculi.
Last modified: Mon Jan 18 11:02:06 WET 2016