"Jan Alexejev"@cs .