Computer Science (Информатика, докторантура (PhD)), Comenius University Bratislava