Českí profesori a vysoká škola technická v Košiciach do roku 1967 - Matula, Pavol