[orr721]

His full titles were prof. RNDr. Jiří Matoušek, DrSc; where the "DrSc" part was more than what is now recognized as a PhD. Scientific titles used to work differently in Eastern Europe.