Concurreny Theory, Semantics, Mobile Computation, Verification Techniques
Bartek Klin
(Warsaw University, University of Cambridge)
Semantics, Concurrency, Algebraic and Coalgebraic Methods
Evangelos Kranakis
(Chancellor's Professor, School of Computer Science, Carleton University)
Algorithmic Mathematics, Communication & Data Networks, Computational Molecular Biology, Distributed & Mobile Agent Computing, Wireless Ad Hoc & Sensor Networks, Network Security