Zoltán Csörnyei - ODT Personal data sheet


	Login Forum Organisation officers member institutions resolutions (in Hung.) by-laws (in Hung.) regulations Doctoral program doctoral schools by institution by research field by number ceased working academic staff member by name by research topic archives thesis topic proposals by doctoral school by research field by research topic supervision of PhD students search students Theses defended by institution by research field by name by date by doctoral school Naturalized degrees by institution by research field by name by date Habilitation presentations by institution by branch of science by name Documents (all in Hung.) public documents news legal backgrounds guidelines Contacts contact details partners

Personal data sheet

Print preview

VALIDITY EXPIRED
personal data approved: 2016. VIII. 23.

Personal data

name	Zoltán Csörnyei
name of institution	Eötvös Loránd University, Budapest
doctoral school	ELTE Doctoral School of Informatics (Academic staff member Az oktató a doktori iskola doktoranduszai számára oktat tantárgyat, és/vagy a doktori iskola megszavazta, hogy doktoranduszok számára kutatási témát írjon ki. )
the share of work in the different doctoral schools.	ELTE Doctoral School of Informatics 100%

Contact details
E-mail address	cszinf.elte.hu
phone number	+36 1 209-0555/8488
	own web page

Academic title
scientific degree, title	Ph.D.
year degree was obtained	1996
discipline to which degree belongs	mathematics and computing
institution granting the degree	Eötvös Loránd Tudományegyetem (to be translated)

Employment
1979 -	Eötvös Loránd University, Budapest other (not specified) (nem nevesített)

Thesis topic supervisor

number of doctoral students supervised until now

number of students who fulfilled course requirements

students who obtained their degrees:

Gergely Dévai

PhD

2018

IDI2-ELTE

Thesis topic proposals

Research
research area	Implementation of functional programming languages, lambda-calculus, type theory, compilers.
research field in which current research is conducted	computer sciences mathematics and computing

Publications

2013

Csörnyei Zoltán, Németh Boldizsár: Stackless programming in Miller, ACTA UNIVERSITATIS SAPIENTIAE INFORMATICA 5: (2) pp. 167-183.
type of document: Journal paper/Article
language: English
Full text

2012

Csörnyei Zoltán : Bevezetés a típusrendszerek elméletébe, Budapest: ELTE Eötvös Kiadó, 323 p.
type of document: Book/Monography
language: Hungarian

2009

Ádám Balogh, Zoltán Csörnyei: Subject-oriented operating system development based on system predicate classes, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 30: pp. 117-139.
type of document: Journal paper/Article
language: English
Full text

2009

Ádám Balogh, Zoltán Csörnyei: Orthogonal subclasses and multiple inheritance of system predicate classes, PURE MATHEMATICS AND APPLICATIONS 17: (3-4) pp. 205-227.
type of document: Journal paper/Article
language: English
Full text

2008

Csörnyei Zoltán, Gergely Dévai: An introduction to the lambda-calculus, LECTURE NOTES IN COMPUTER SCIENCE 5161: pp. 87-111.
type of document: Journal paper/Article
language: English

2008

Kozsik T, Csornyei Z, Horvath Z, Kiraly R, Kitlei R, Lovei L, Nagy T, Toth M, Vig A: Use Cases for Refactoring in Erlang, LECTURE NOTES IN COMPUTER SCIENCE 5161: pp. 250-285.
type of document: Journal paper/Article
number of independent citations: 5
language: English
DOI

2007

Csörnyei Zoltán : Lambda-kalkulus, Budapest: Typotex,
type of document: Book/Monography
language: Hungarian

2007

Csörnyei Zoltán, Kása Zoltán : Formális nyelvek és fordítóprogramok, Cluj-Napoca: Presa Universitara Clujeana / Kolozsvári Egyetemi Kiadó,
type of document: Book/Monography
language: Hungarian

2007

Ádám Balogh, Zoltán Csörnyei: Objects and polymorphism in system programming languages: a new approach, PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING 51: (3-4) pp. 85-97.
type of document: Journal paper/Article
language: English
Full text

2006

Csörnyei Zoltán : Fordítóprogramok, Budapest: Typotex, 326 p.
type of document: Book/Monography
language: Hungarian

Number of independent citations to these publications:

Scientometric data

Saját közlemény- és idézőlista

list of publications and citations

number of scientific publications that meet accreditation criteria:

number of scientific publications:

monographs and professional books:

monographs/books in which chapters/sections were contributed:

scientific publications published abroad that meet the accreditation criteria:

publications not in Hungarian, published in Hungary, meeting the accreditation criteria:

number of independent citations to scientific publications and creative works:

2024. IV. 17.
ODT ülés
Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).