Bejelentkezés
 Fórum


 Doktori képzés 

 Doktori védések 

 Honosított fokozatok 

 Habilitációs előadások 

 Dokumentumok 

 Kapcsolatok 
 
 
Személyi adatlap
 Nyomtatási kép
Az adatok hitelességéről nyilatkozott: 2024. II. 22.
Személyes adatok
név Kaposi Ambrus
intézmény neve
doktori iskola
ELTE Informatika Doktori Iskola (témavezető)
doktori képzéssel kapcsolatos munkájának megoszlása ELTE Informatika Doktori Iskola 100%
Elérhetőségek
drótpostacím akaposiINF.ELTE.HU
telefonszám +36 1 372-2500/8497
saját honlap
saját honlap (angol)
Fokozat, cím
tudományos fokozat, cím PhD
fokozat megszerzésének éve 2013
fokozat tudományága klinikai orvostudományok
fokozatot kiadó intézmény neve Semmelweis Egyetem
tudományos fokozat, cím PhD
fokozat megszerzésének éve 2017
fokozat tudományága informatikai tudományok
fokozatot kiadó intézmény neve University of Nottingham
Jelenlegi munkahelyek
2016 - Eötvös Loránd Tudományegyetem
egyetemi oktató
Témavezetés
témavezetői tevékenysége során eddig vezetésére bízott doktoranduszok száma
ezek közül abszolutóriumot szerzettek száma
témavezetettjei közül fokozatot szereztek:
Kovács András PhD 2023  IDI2-ELTE
témavezetettjei folyamatban lévő doktori cselekménnyel:
Bocquet Rafael PhD (2024/08)  IDI2-ELTE
jelenlegi doktorandusz hallgatói az abszolutórium várható évével:
Bense Viktor (PhD) (2027/08)  IDI2-ELTE
Végh Tamás Dániel (PhD) (2025/08)  IDI2-ELTE
Donkó István (PhD) (2024/08)  IDI2-ELTE
  Témakiírások
Kutatás
kutatási terület típuselmélet
jelenlegi kutatásainak tudományága informatikai tudományok
Közlemények
2023

 Bocquet Rafaël, Kaposi Ambrus, Sattler Christian: For the Metatheory of Type Theory, Internal Sconing Is Enough, In: Marco, Gaboardi; Femke, van Raamsdonk (szerk.) 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), Schloss Dagstuhl Leibniz-Zentrum für Informatik (2023) 18
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
URL 
2023

 Altenkirch Thorsten, Kaposi Ambrus, Šinkarovs Artjoms, Végh Tamás: Combinatory Logic and Lambda Calculus Are Equal, Algebraically, In: Marco, Gaboardi; Femke, van Raamsdonk (szerk.) 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), Schloss Dagstuhl Leibniz-Zentrum für Informatik (2023) 24
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
URL 
2021

 Altenkirch Thorsten, Boulier Simon, Kaposi Ambrus, Sattler Christian, Sestini Filippo: Constructing a universe for the setoid model, LECTURE NOTES IN COMPUTER SCIENCE 12650: pp. 1-21.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 1
nyelv: angol
URL 
2021

 Mikó Ágnes, Kaposi Ambrus, Schnabel Karolina, Seidl Dániel, Tory Kálmán: Identification of incompletely penetrant variants and interallelic interactions in autosomal recessive disorders by a population‐genetic approach, HUMAN MUTATION 42: (11) pp. 1473-1487.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
URL 
2020

 Kovács András, Kaposi Ambrus: Large and Infinitary Quotient Inductive-Inductive Types, In: Holger, Hermanns; Lijun, Zhang (szerk.) Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Association for Computing Machinery (ACM) (2020) pp. 648-661.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 2
nyelv: angol
URL 
2019

 Kaposi Ambrus, Kovács András, Altenkirch Thorsten: Constructing quotient inductive-inductive types, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES 3: (POPL) 2
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 17
nyelv: angol
URL 
2019

 Kaposi Ambrus, Kovács András, Kraus Nicolai: Shallow Embedding of Type Theory is Morally Correct, In: Hutton, Graham (szerk.) Mathematics of Program Construction, Springer-Verlag (2019) pp. 329-365.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 2
nyelv: angol
URL 
2018

 Kaposi A, Kovács A: A syntax for higher inductive-inductive types, In: Kirchner, H (szerk.) 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), Schloss Dagstuhl Leibniz-Zentrum für Informatik (2018) 20
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 11
nyelv: angol
URL 
2016

 Altenkirch Thorsten, Kaposi Ambrus: Type theory in type theory using quotient inductive types, ACM SIGPLAN NOTICES 51: (1) pp. 18-29.
dokumentum típusa: Folyóiratcikk/Konferenciaközlemény
független idéző közlemények száma: 31
nyelv: angol
Teljes szöveg 
2016

 Altenkirch Thorsten, Kaposi Ambrus: Normalisation by Evaluation for Dependent Types, In: Delia, Kesner; Brigitte, Pientka (szerk.) 1st International Conference on Formal Structures for Computation and Deduction, Schloss Dagstuhl Leibniz-Zentrum für Informatik (2016) 6
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 6
nyelv: angol
URL 
a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma:70 
Tudománymetriai adatok
Tudományos közlemény- és idézőlista mycite adattárban
a 10 válogatott közlemény közé kiválasztható közleményeinek száma:
96
összes tudományos és felsőoktatási közleményének száma:
92
kiválasztható monográfiák és szakkönyvek:
0
monográfiák és szakkönyvek száma melyben fejezetet/részt írt:
0 
összes tudományos közleményének és alkotásainak független idézettségi száma:
279


2024. IV. 17.
ODT ülés
Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).
 
Minden jog fenntartva © 2007, Országos Doktori Tanács - a doktori adatbázis nyilvántartási száma az adatvédelmi biztosnál: 02003/0001. Program verzió: 2.2358 ( 2017. X. 31. )