Magyar Tudományos Akadémia. Számitástechnikai és Automatizálási Kutatóintézet.