"David Virgul\u00E1k"@cs .