Elhunyt Vámos Tibor, a SZTAKI alapítója