"Marek Singer"@cs .