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