Bejelentkezés
 Fórum
 
 
Személyi adatlap
 Nyomtatási kép
Az adatok hitelességéről nyilatkozott: 2017. IX. 19.
Személyes adatok
név Tejfel Máté
születési év 1977
intézmény neve
doktori iskola
ELTE Informatika Doktori Iskola (témavezető)
Elérhetőségek
drótpostacím matejinf.elte.hu
telefonszám +36 1 381-2319
Fokozat, cím
tudományos fokozat, cím PhD
fokozat megszerzésének éve 2009
fokozat tudományága informatikai tudományok
fokozatot kiadó intézmény neve Eötvös Lóránd Tudományegyetem
Jelenlegi munkahelyek
2003 - 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 5
ezek közül abszolutóriumot szerzettek száma 4
témavezetettjei közül fokozatot szereztek:
abszolutóriumot szerzett, de nincs folyamatban doktori cselekmény és nincs fokozat:
(50%) Kőszegi Judit (PhD) 2013/08  IDI2-ELTE
(50%) Leskó Dániel (PhD) 2013/08  IDI2-ELTE
Buday Gergely (PhD) 2017/08  IDI2-ELTE
Karácsony Máté (PhD) 2016/08  IDI2-ELTE
Németh Boldizsár (PhD) 2017/08  IDI2-ELTE
jelenlegi doktorandusz hallgatói az abszolutórium várható évével:
Lukács Dániel (PhD) (2021/08)  IDI2-ELTE
  Témakiírások
Kutatás
kutatási terület Helyességvizsgálat, funkcionális programozás, párhuzamos programozás
jelenlegi kutatásainak tudományága informatikai tudományok
Közlemények
2016

Sándor Laki, Dániel Horpácsi, Péter Vörös, Róbert Kitlei, Dániel Leskó, Máté Tejfel: High speed packet forwarding compiled from protocol independent data plane specifications, In: Szerk.: anon SIGCOMM '16: Proceedings of the 2016 conference on ACM SIGCOMM 2016 Conference. New York: ACM Press, 2016. pp. 629-630.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 1
nyelv: angol
DOI 
2016

Németh Boldizsár, Karácsony Máté, Kelemen Zoltán, Tejfel Máté: Defining C Preprocessor Macro Libraries with Functional Programs, COMPUTING AND INFORMATICS 35: (4) pp. 819-851.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
2015

Boldizsár Németh, Zoltán Kelemen, Máté Karácsony, Máté Tejfel: Extending Haskell with Effectful Property Abstraction, In: Szerk.: Valerie Novitzka, Szerk.: Štefan Korečko, Szerk.: Anikó Szakál Proceedings of 13th International Scientific Conference on Informatics. Piscataway: IEEE, 2015. pp. 183-188.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
2015

Gergely Dévai, Dániel Leskó, Máté Tejfel: The EDSL’s Struggle for Their Sources, LECTURE NOTES IN COMPUTER SCIENCE 8606: pp. 300-335.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
DOI 
2014

Gergely Dévai, Dániel Leskó, Máté Tejfel: Language Design and Implementation via the Combination of Embedding and Parsing, COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE 457: pp. 131-147.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
DOI 
2013

Leskó Dániel, dr Tejfel Máté: Testing framework for embedded languages, COMPUTER SCIENCE AND INFORMATION SYSTEMS 10: (4) pp. 1647-1659.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
2013

Gergely Dévai, Máté Tejfel, Dániel Leskó: The EDSL's struggle for their sources, In: Domain Specific Languages Summer School.Cluj-Napoca, Románia, 2013.07.08-2013.07.20. pp. & Kiadvány: 2013.
dokumentum típusa: Konferenciacikk/Előadás vagy poszter cikke
nyelv: angol
Teljes szöveg 
2013

Gergely Dévai, Dániel Leskó, Máté Tejfel: Embedding and Parsing Combined for Efficient Language Design, In: International Conference on Software Engineering and Applications (ICSOFT-EA 2013).Reykjavík, Izland, 2013.07.29-2013.07.31. SciTePress, pp. 244-250. Kiadvány: SciTePress, 2013.
dokumentum típusa: Konferenciacikk/Előadás vagy poszter cikke
nyelv: angol
2012

Máté Tejfel, Melinda Tóth, István Bozó, Dániel Horpácsi, Zoltán Horváth: Improving quality of software analyser and transformer tools using specification based testing, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 37: pp. 355-368.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
Teljes szöveg 
2012

Dániel Leskó, Máté Tejfel: A DOMAIN BASED NEW CODE COVERAGE METRIC AND A RELATED AUTOMATED TEST DATA GENERATION METHOD, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 36: pp. 217-240.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
Teljes szöveg 
a legjelentősebbnek tartott 10 közleményre kapott független hivatkozások száma:
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:
40
összes tudományos és felsőoktatási közleményének száma:
49
kiválasztható monográfiák és szakkönyvek:
0
monográfiák és szakkönyvek száma melyben fejezetet/részt írt:
2 
műszaki és/vagy művészeti alkotásainak száma:
0
külföldön megjelent, figyelembe vehető tudományos közleményei:
21
hazai kiadású, figyelembe vehető idegen nyelvű közleményei:
13
összes tudományos közleményének és alkotásainak független idézettségi száma:
51

 
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. )