Kaposi Ambrus – Elnökség | NJSZT
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.
További információ: