"Jakub Bauer"@cs .