Loading AI tools
Zoltán Ésik, né le à Szeged et mort le à Reykjavík, est un mathématicien, informaticien théoricien et logicien hongrois.
Zoltán Ésik
| Naissance |
Szeged |
|---|---|
| Décès |
(à 64 ans) Reykjavík[1] |
| Nationalité | hongrois |
| Domaines | Informatique théorique, logique mathématique, mathématiques |
|---|
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 « Decidability results concerning tree transformations », 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)[2].
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 [2].
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.
- Fellow de l'EATCS, 2016 « pour ses contributions aux domaines des automates et langages formels, les théories de l'itération, algèbre et logique en informatique théorique, et en particulier à leur connexions. Il a su appliquer des théorèmes profonds de certains domaines à d'autres sujets, donnant des démonstrations particulièrement courtes, belles et mathématiquement concises »[3].
- Membre élu de l'Academia Europaea, 2010[2]
- 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.
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[4] ; il a publié une monographie sur les théories itératives avec Stephen L. Bloom (1940-2010) et contribué de nombreux chapitres à des manuels de recherche en informatique théorique[4].
- Stephen L. Bloom et Zoltán Ésik, Iteration Theories - The Equational Logic of Iterative Processes, Springer, coll. « EATCS Monographs on Theoretical Computer Science », , xv+632 (ISBN 978-3-642-78036-3)
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
