"Jan Major"@cs .