Probabilistic Systems, Model Checking, Automata Learning
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
Rocco De Nicola
(IMT - Institute for Advanced Studies Lucca and Universitą di Firenze)
Process Algebras, Mobile Computing, Service Oriented Programming, Model Checking, Cybersecurity