Login
 Forum
 
 
Personal data sheet
 Print preview
personal data approved: 2021. I. 04.
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:
Boldizsár Németh PhD 2020  IDI2-ELTE

completed course requirement:
(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 (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
2020

Lukács Dániel, Pongrácz Gergely, Tejfel Máté: Control flow based cost analysis for P4, OPEN COMPUTER SCIENCE 11: (1) pp. 70-79.
type of document: Journal paper/Article
language: English
URL 
2019

Lukács Dániel, Pongrácz Gergely, Tejfel Máté: Keeping P4 Switches Fast and Fault-free through Automatic Verification, ACTA CYBERNETICA Vol 24 No 1 (2019): (Special Issue of the 11th Conference of PhD Students in Computer Science) pp. 61-81.
type of document: Journal paper/Konferenciaközlemény
language: English
URL 
2019

Horpacsi Daniel, Laki Sandor, Voros Peter, Tejfel Mate, Pongracz Gergely, Molnar Laszlo: Asynchronous Extern Functions in Programmable Software Data Planes, In: Institute, of Electrical And Electronics Engineers (szerk.) 2019 ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), IEEE (2019) pp. 1-2.
type of document: Part of book/Proceedings Paper
language: English
URL 
2018

Vörös Péter, Horpácsi Dániel, Kitlei Róbert, Leskó Dániel, Tejfel Máté, Laki Sándor: T4P4S: A Target-independent Compiler for Protocol-independent Packet Processors, In: Institute, of Electrical; Electronics, Engineers (szerk.) Proceedings of IEEE 19th International Conference on High Performance Switching and Routing (HPSR) 2018, IEEE (2018) pp. 1-7.
type of document: Part of book/Proceedings Paper
number of independent citations: 1
language: English
URL 
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 Workshop Proceedings (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: 15
language: English
URL 
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

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
URL 
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 
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
number of independent citations: 1
language: English
Number of independent citations to these publications:17 
Scientometric data
list of publications and citations
number of scientific publications that meet accreditation criteria:
68
number of scientific publications:
66
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:
28
publications not in Hungarian, published in Hungary, meeting the accreditation criteria:
29
number of independent citations to scientific publications and creative works:
68

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