Ugrás a tartalomhoz

Ésik Zoltán

Ellenőrzött
A Wikipédiából, a szabad enciklopédiából
Ésik Zoltán
Született1951. június 25.
Szeged
Elhunyt2016. május 25.[1] (64 évesen)
Reykjavík[2]
Állampolgárságamagyar
Nemzetiségemagyar
Foglalkozásamatematikus
SablonWikidataSegítség

Ésik Zoltán (Szeged, 1951. június 25.Reykjavík, 2016. május 25.) matematikus, egyetemi tanár.

Életpályája

[szerkesztés]

A középiskolát szülővárosában végezte speciális matematika osztályban. 1969-ben érettségizett, majd matematika szakot végzett a szegedi József Attila Tudományegyetemen 1974-ben. 1979-ben doktorált a szegedi egyetemen, majd 1996-ban akadémiai doktor lett.

1974-től tanított a szegedi egyetemen (1974 tanársegéd, 1979 adjunktus, 1987 docens, 1997 egyetemi tanár). Egy évig (1996. július – 1997. július) docensként Debrecenben is tanított.

Volt tanszékvezető, és a doktori iskola igazgatója is. Több külföldi egyetemen volt meghívott előadó. Több híres szakmai szervezet tagja, szakfolyóiratok szerkesztőbizottsági tagja, konferenciák meghívott előadója volt.

Munkássága

[szerkesztés]

Kutatási területei: automaták és formális nyelvek, kategóriaelmélet és logika a számítástudományban, fixpontelmélet, iterációelmélet. Tudományos cikkeinek a száma 200 fölött van. Megjelentetett egy monográfiát, és szerkesztett több mint 25 szakkönyvet.

Könyvei

[szerkesztés]
  • Stephen L. Bloom, Zoltán Ésik: Iteration Theories: The Equational Logic of Iterative Processes, Springer, 1993.
  • Ésik Zoltán, Gombás Éva, Iván Szabolcs: Automaták és formális nyelvek példatár, Typotex Kiadó, 2011.
  • Ésik Zoltán: A számítástudomány alapjai, Typotex Kiadó, 2011.
  • Ésik Zoltán, Gombás Éva, Németh L. Zoltán: Hardver- és szoftverrendszerek verifikációja, Typotex Kiadó, 2011.

Jegyzetek

[szerkesztés]

Források

[szerkesztés]