"Jakub Grof"@cs .