National and Kapodistrian University of Athens ▶ School of Science ▶ Department of Informatics and Telecommunications Division of Theoretical Informatics