Revision as of 12:28, 22 May 2023 by SebAdam(talk | contribs)(Removed [hu-formal] description: ELTE IK egyetemi adjunktusa. Oktatási/kutatási tevékenység: párhuzamos programozás funkcionális programozás matematikai logika beágyazott nyelvek programhelyesség-vizsgálat refaktorálás.)