Prószéky Gábor Széchenyi-díjas programtervező matematikus, a HUN-REN Nyelvtudományi Kutatóközpont főigazgatója