Dr. Csörnyei Zoltán

Az MTA SZTAKI-ban dolgozott, majd 1979-től informatikát tanít az ELTE-n, a BBTE-n és a Sapientia EMTE-n. Fordítóprogramok, Lambda-kalkulus, Típuselmélet és Pi-kalkulus c. könyvei a magyar szakirodalom alapművei.