Login
 Forum
 
 
Personal data sheet
 Print preview
personal data approved: 2017. IX. 19.
Personal data
name Máté Tejfel
year of birth 1977
name of institution
doctoral school
ELTE Doctoral School of Informatics (Supervisor)
Contact details
E-mail address matejinf.elte.hu
phone number +36 1 381-2319
Academic title
scientific degree, title Ph.D.
year degree was obtained 2009
discipline to which degree belongs computer sciences
institution granting the degree Eötvös Lóránd Tudományegyetem (to be translated)
Employment
2003 - Eötvös Loránd University, Budapest
university professor or researcher
Thesis topic supervisor
number of doctoral students supervised until now 5
number of students who fulfilled course requirements 4
students who obtained their degrees:
completed course requirement, without degree or degree granting in process:
(50%) Dániel Leskó (PhD) 2013/08  IDI2-ELTE
(50%) Judit Kőszegi (PhD) 2013/08  IDI2-ELTE
Máté Karácsony (PhD) 2016/08  IDI2-ELTE
present PhD students:
Dániel Lukács (PhD) (2021/08)  IDI2-ELTE
hiányos adatú hallgatói:
Boldizsár Németh PhD (2017/08)  IDI2-ELTE
Gergely Buday PhD (2017/08)  IDI2-ELTE
  Thesis topic proposals
Research
research area Verification, functional programming, parallel programming
research field in which current research is conducted computer sciences
Publications
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.
type of document: Part of book/Proceedings Paper
number of independent citations: 1
language: English
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.
type of document: Journal paper/Article
language: English
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.
type of document: Part of book/Proceedings Paper
language: English
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.
type of document: Journal paper/Article
language: English
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.
type of document: Journal paper/Article
language: English
DOI 
2013

Leskó Dániel, dr Tejfel Máté: Testing framework for embedded languages, COMPUTER SCIENCE AND INFORMATION SYSTEMS 10: (4) pp. 1647-1659.
type of document: Journal paper/Article
language: English
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.
type of document: Conference paper/Előadás vagy poszter cikke
language: English
Full text 
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.
type of document: Conference paper/Előadás vagy poszter cikke
language: English
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.
type of document: Journal paper/Article
language: English
Full text 
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.
type of document: Journal paper/Article
language: English
Full text 
Number of independent citations to these publications:
Scientometric data
list of publications and citations
number of scientific publications that meet accreditation criteria:
40
number of scientific publications:
48
monographs and professional books:
0
monographs/books in which chapters/sections were contributed:
2 
art/engineering creative works:
0
scientific publications published abroad that meet the accreditation criteria:
21
publications not in Hungarian, published in Hungary, meeting the accreditation criteria:
13
number of independent citations to scientific publications and creative works:
50

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 2.2358 ( 2017. X. 31. )