Univ.-Prof. Dr. Aart Middeldorp   

IFIP

Austrian representative of Technical Committee 1 on Foundations of Computer Science

founding member of Working Group 1.06 on (Term) Rewriting