Kaposi Ambrus előadása

2017. november 24-én 20.00 órakor a Gimnázium Dísztermében Kaposi Ambrus orvos, informatikus tart előadást Bizonyítás és programozás címmel. Az előadásban egy olyan nyelvről lesz szó, melyben minden mondat egyszerre tekinthető matematikai bizonyításnak és számítógépes programnak.

Kaposi Ambrus (Ph ’04) az ELTE Informatika Karán a Programozási Nyelvek és Fordítóprogramok Tanszék adjunktusa. Orvosi statisztikából 2013-ban szerzett PhD fokozatot a Semmelweis Egyetemen, típuselméletből 2016-ban szerzett PhD fokozatot a University of Nottingham-en.
Kaposi Ambrus orvos, programozó

a bizonyításról