"Semjon Remezov"@cs .