"Pavel Trichi\u010Dev"@cs .