Kaposi Ambrus
Az ELTE IK adjunktusa. Kutatási területei a funkcionális programozás, a típuselmélet (type theory) és a számítógépes bizonyító rendszerek. Publikált még orvosi statisztika és immunológia szakterületeken is.
Neumann János Számítógéptudományi TársaságA digitális világ GPS-eEsemények
2023-ban Neumann születésének 120. évfordulóját a Neumann Társaság nagyszabású, a neumanni örökséget sokszínűen bemutató rendezvény-sorozattal ünnepelte.