De Montfort University - Reverse engineering, maintenance, program transformation, metrics.

National Taiwan University - Theory of computation, concurrent systems, design and analysis of algorithms, Petri nets, formal methods.