Матей Захария е лауреатът на наградата за компютърни науки за 2025 г.