Ambrus Kaposi
NJSZT award:
2019: Kemény János-díj - Laudáció
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.
See also:
Létrehozva: 2019.11.30. 10:54
Utolsó módosítás: 2021.02.15. 19:43