Gergely Tamás
Az 1970-es években a programozási nyelvek formális szemantikájával foglalkozott. Számos nemzetközi és hazai K+F projekt szakmai vezetője, illetve részvevője volt. Az Alkalmazott Logikai Laboratórium (ALL) alapító elnöke.
Neumann János Számítógéptudományi TársaságA digitális világ GPS-e
Az 1970-es években a programozási nyelvek formális szemantikájával foglalkozott. Számos nemzetközi és hazai K+F projekt szakmai vezetője, illetve részvevője volt. Az Alkalmazott Logikai Laboratórium (ALL) alapító elnöke.