Проф., д-р (Ph.D. по кибернетике, D.Sc. по математике), почетный профессор Будапештского университета технологии и экономики, директор Лаборатории прикладной логики, Будапешт (Венгрия).