University of Newcastle - Global virtual memory, architectural and operating system support for per...
University of Newcastle - Object-oriented software engineering, object-oriented programming, comput...
University of New South Wales - Operating systems and distributed systems, numerical modelling of s...
University of New South Wales - Artificial intelligence, knowledge-based systems, intelligent data ...
University of Salzburg - Computational geometry, computer graphics, program design, algorithms and ...
University of Groningen - Nondeterminacy, predicate transformation semantics, distributed programmi...
City University of New York - Image Reconstruction from Projections, Inverse Problems, Discrete Tom...
University of Edinburgh - Type theory, principles of programming languages, semantics, category the...
Kansas State University - Self-stabilizing systems, real-time scheduling, Petri nets, and computati...
University of Udine - Lambda calculus; foundations, especially of informatics; type systems for OO ...