Kaposi Ambrus

Születési dátum:
2020.01.13.
Születési hely:
Budapest
Végzettség, szakképesítés:
  • általános orvos - Semmelweis Egyetem - 2010.
  • programtervező informatikus - ELTE - 2012. (BSc)
  • Tudományos fokozat:
    PhD - 2017 - University of Nottingham - Típuselmélet

    Bár gyerekkorától a programozási nyelvek és megoldások érdekelik, először orvosnak készül a Semmelweis Egyetemen (SE), ahol 2008-ban Köztársasági Ösztöndíjban részesül. Általános orvosi diplomával a kezében az ELTE-n elvégzi 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 szerzi a SE-n, másodikat 2017-ben típuselméletből a University of Nottinghamen. Poszdoktorként dolgozik az MTA-SE Lendület Nephrogenetikai Kutatócsoportban. 2019-ben az MTA Bolyai Ösztöndíjban részesíti.

    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 a konferencia főszervezője volt 2017-ben. 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).


    Létrehozva: 2020.01.06. 19:20
    Utolsó módosítás: 2020.01.06. 19:22