Bejelentkezés
 Fórum
 
 
Személyi adatlap
 Nyomtatási kép
Az adatok hitelességéről nyilatkozott: 2019. X. 07.
Személyes adatok
név Tejfel Máté
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:
témavezetettjei folyamatban lévő doktori cselekménnyel:
Németh Boldizsár PhD (2020/09)  IDI2-ELTE
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
jelenlegi doktorandusz hallgatói az abszolutórium várható évével:
Altangerel Gereltsetseg (PhD) (2022/08)  IDI2-ELTE
Németh Dávid János (PhD) (2022/08)  IDI2-ELTE
Tóth Gabriella (PhD) (2022/08)  IDI2-ELTE
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
2018

Máté Karácsony, Máté Tejfel: Configurable data structure layout for memory hierarchies, In: Emil, Vatai (szerk.) Proceedings of the 11th Joint Conference on Mathematics and Computer Science, CEUR-WS.org (2018) pp. 119-135.
dokumentum típusa: Konferenciacikk/Előadás vagy poszter cikke
nyelv: angol
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: anon (szerk.) SIGCOMM '16, ACM Press (2016) pp. 629-630.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 6
nyelv: angol
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: Valerie, Novitzka; Štefan, Korečko; Anikó, Szakál (szerk.) Proceedings of 13th International Scientific Conference on Informatics, IEEE (2016) 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
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
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
URL 
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), SciTePress (2013) pp. 244-250.
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
2011

Bozó I, Tóth M, Tejfel M, Horpácsi D, Kitlei R, Kőszegi J, Horváth Z: Using impact analysis based knowledge for validating refactoring steps, STUDIA UNIVERSITATIS BABES-BOLYAI SERIES INFORMATICA 56: (3) pp. 57-64.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
URL 
a legjelentősebbnek tartott közleményekre 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:
45
összes tudományos és felsőoktatási közleményének száma:
54
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:
18
összes tudományos közleményének és alkotásainak független idézettségi száma:
56

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