Kaposi Ambrus
NJSZT kitüntetés:
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.
Lásd még:
Létrehozva: 2019.11.30. 10:54
Utolsó módosítás: 2021.02.15. 19:43