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.
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.