Csörnyei Zoltán

NJSZT kitüntetés:

2001: Tarján-emlékérem - Laudáció

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.