"Jan Razil"@cs .