Рет қаралды 911
Az ELTE Ígéretes Kutatója az informatika területén 2020-ban Kaposi Ambrus (IK Programozási Nyelvek és Fordítóprogramok Tanszék) lett a Típuselméleten alapuló önálló programozási nyelv kidolgozása c. kutatásával.
Kaposi Ambrus 2010-ben a Semmelweis Egyetemen általános orvosként, 2012-ben az ELTE-n programtervező informatikusként végzett. Klinikai orvostudományokból 2013-ban a Semmelweis Egyetemen, informatikai tudományokból 2017-ben a Nottinghami Egyetemen szerzett PhD-fokozatot. Két éven át posztdoktori kutatóként dolgozott az MTA-SE Lendület Nephrogenetikai Kutatócsoportban. 2016 óta az ELTE IK Programozási Nyelvek és Fordítóprogramok Tanszék adjunktusa, a karon futó integrált kutatói utánpótlás-képzési projekt Informatikai logika munkacsoportjának vezetője. Munkáját 2007-ben Semmelweis Innovációs Díjjal, 2019-ben Bolyai Ösztöndíjjal ismerték el, és ugyanebben az évben vehette át a Neumann János Számítógép-tudományi Társaság Kemény János-díját is. 2017 óta részt vesz a TYPES Konferencia szervezésében, 2017 óta az EUTypes konferencia-ösztöndíjak koordinátora. Tudományos ismeretterjesztő rendezvények rendszeres előadója. Kutatási területei a típuselmélet, a funkcionális programozás, a matematikai logika és az orvosi statisztika.