Login
 Forum
 
 
Personal data sheet
 Print preview
personal data approved: 2019. X. 07.
Personal data
name Máté Tejfel
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:
students with degree granting in process:
Boldizsár Németh PhD (2020/09)  IDI2-ELTE
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
Gergely Buday (PhD) 2017/08  IDI2-ELTE
Máté Karácsony (PhD) 2016/08  IDI2-ELTE
present PhD students:
Dávid János Németh (p) (PhD) (2022/08)  IDI2-ELTE
Gabriella Tóth (PhD) (2022/08)  IDI2-ELTE
Gereltsetseg Altangerel (PhD) (2022/08)  IDI2-ELTE
Dániel Lukács (PhD) (2021/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
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.
type of document: Conference paper/Előadás vagy poszter cikke
language: English
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.
type of document: Part of book/Proceedings Paper
number of independent citations: 6
language: English
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: Valerie, Novitzka; Štefan, Korečko; Anikó, Szakál (szerk.) Proceedings of 13th International Scientific Conference on Informatics, IEEE (2016) 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
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
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
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.
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
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.
type of document: Journal paper/Article
language: English
URL 
Number of independent citations to these publications:
Scientometric data
list of publications and citations
number of scientific publications that meet accreditation criteria:
59
number of scientific publications:
58
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:
24
publications not in Hungarian, published in Hungary, meeting the accreditation criteria:
26
number of independent citations to scientific publications and creative works:
63


2020. VI. 25.
ODT ülés
Az ODT következő ülésére 2020. július 10-én 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).

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