Kaposi Ambrus

Bár gyerekkorától a programozási nyelvek és megoldások érdekelték, először mégis orvosnak készült a Semmelweis Egyetemen (SE), ahol 2008-ban Köztársasági Ösztöndíjban részesült. Általános orvosi diplomával a kezében az ELTE-n elvégeztei a programtervező informatikus alapképzést.

2016-tól adjunktus az ELTE Informatikai Karának (IK) Programozási Nyelvek és Fordítóprogramok Tanszékén. Oktatási témái: programozási nyelvek típusrendszerei, típuselmélet, formális szemantika, logika, funkcionális és imperatív programozás, bioinformatika, fordítóprogramok.

Első PhD fokozatát 2013-ban orvosi statisztikából szerezte a Semmelweis Egyetemen, a másodikat 2017-ben típuselméletből a University of Nottinghamen. Poszdoktorként dolgozott az MTA-SE Lendület Nephrogenetikai Kutatócsoportban. 2019-ben az MTA Bolyai Ösztöndíjban részesítette.

Fő kutatási területe a típuselmélet, mely egy olyan programozási nyelv, melyben egyszerre lehet programokat és matematikai bizonyításokat leírni. Publikált még a funkcionális programozás, orvosi statisztika és immunológia szakterületeken.

Szervezője az ELTE-n tartott budapesti típuselmélet kutatószemináriumnak, melyen hetente vitatják meg egyetemi kutatók, hallgatók és iparban dolgozók a típuselmélet különböző aspektusait. Az évente megrendezésre kerülő európai típuselmélet konferencia (TYPES) irányító bizottságának tagja 2017-2019 között, míg 2017-ben a konferencia főszervezője volt. Az európai típuselmélet kutatóit összefogó EUTypes COST Action irányítótestületének tagja.

Kitüntetései: Semmelweis Innováció Dı́j (Fiatal Élettudományi Kutatók Fóruma, Pécs, 2007); NovaTech.Com 3.0 Innovációs Technológiai Üzleti Terv Verseny II. díj (2008); Scopus Fiatal Kutatók dı́ja, orvostudományok kategória (Magyar Rektori Konferencia és Elsevier, 2008); FSCD Konferencia, Best paper award for junior researcher (2018); Kemény János-díj (NJSZT, 2019).