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.

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.

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.

Minden érdeklődőt szeretettel hívunk és várunk!