Zoltán Ésik, né le à Szeged et mort le à Reykjavík, est un mathématicien, informaticien théoricien et logicien hongrois.
Biographie Zoltán Ésik est étudiant à l'Université de Szeged de 1969 à 1974, où il obtient un M. Sc.. Il obtient un doctorat d'université (Ph. D.) en 1979, avec une thèse intitulée , puis un diplôme de Candidate de l'Académie hongroise des sciences en 1985 (Top-down tree transformations), une habilitation en informatique à l'Université de Szegeden 1995 (Iteration Theories) et en 1996 un doctorat de l'Académie hongroise des sciences (Iteration Theories).
De 1974 à 1978, Zoltán Ésik est professeur assistant au département d'informatique de l'université de Szeged, puis lecteur (1979-1986), ensuite professeur associé (1987-1996), un poste à temps partiel à l'université de Debrecen en 1996-1997, enfin depuis 1997 professeur titulaire au département des Fondements de l'informatique à l'Institut d'informatique de l'université de Szeged, département qu'il dirige depuis .
En 1988-89, il est Research Fellow Alexander von Humboldt à l'Institut d'informatique de l'Université Technique de Munich.
Zoltán Ésik a effectué de nombreux séjours à l’étranger, à Kyoto, Bordeaux, Dresde, Paris (Université Denis Diderot), Aalborg, Waterloo, Aizu, Hoboken, Stuttgart, Édimbourg, Munich, New Jersey.
Distinctions et responsabilités scientifiques Fellow de l'EATCS, 2016 EATCS Fellows.. Membre élu de l'Academia Europaea, 2010Zoltán Ésik sur Academia Europaea. Membre du comité de sélection du prix Presburger, 2015-2017 Membre du conseil de l'EATCS (2003 - 2015) Membre de l'IFIP, TC1 depuis 2000 IFIP WG 1.8, Working Group on Concurrency Membre du conseil de l'European Association for Computer Science Logic (EACSL) 2005-2010 Zoltán Ésik était membre de très nombreux comités de programmes de conférences internationales, membre du steering committee de plusieurs d'entre elles, et membre du comité de rédaction de plusieurs revues scientifiques.
Domaines de recherche Les domaines de recherche de Zoltán Ésik sont les automates et langages formels, la théorie des catégories et les logiques en informatique; il a contribué beaucoup à la théorie des demi-anneaux dans le cadre des applications aux automates pondérés ; il a approfondi la théorie des points fixes, et les théories itératives. Il est l'auteur de nombreux d'articles scientifiques ; il a publié une monographie sur les théories itératives avec Stephen L. Bloom (1940-2010) et contribué à de nombreux chapitres de manuels de recherche en informatique théoriqueZoltán Ésik sur DBLP.
Notes et références
Bibliographie .
Liens externes
Zoltán Ésik sur Academia Europaea Page personnelle de Zoltán Ésik Zoltán Ésik sur Zentralblatt MATH Zoltán Ésik sur DBLP
Catégorie:Personnalité en informatique théorique Catégorie:Mathématicien hongrois Catégorie:Logicien hongrois Catégorie:Informaticien hongrois