Universität Bremen - Java security, extensions, and semantics; object-oriented, functional, concurrent, logic programming languages; specification languages; compiler construction; program specification, construction and transformation; object-oriented analysis and design; types; lambda-calculus; unification; algebraic semantics; and theorem proving systems.

Università di Roma - Fault-tolerant distributed computing, parallel simulation and performance evaluation.

University of New South Wales - Machine learning and data mining.