Michel Sintzoff

Aujourd'hui, Michel Sintzoff est devenu un sujet d'un grand intérêt et d'une grande pertinence dans différents domaines de la société. Son impact et sa portée sont de plus en plus évidents dans notre vie quotidienne, générant des débats, des études et des recherches qui cherchent à mieux comprendre son influence. Depuis son émergence, Michel Sintzoff a attiré l'attention de personnes de tous âges et de toutes professions, devenant un point de discussion clé lors des réunions de famille, des conversations autour d'un café et même dans les cercles universitaires. Dans cet article, nous explorerons certains des aspects les plus pertinents de Michel Sintzoff et son importance aujourd'hui, ainsi que ses implications possibles dans le futur.

Michel Sintzoff
Michel Sintzoff au symposium CWI, Amsterdam, 25 janvier 1991
Biographie
Naissance
Décès
Voir et modifier les données sur Wikidata (à 72 ans)
Ottignies-Louvain-la-Neuve (d)Voir et modifier les données sur Wikidata
Nationalité
Activités
Autres informations
Membre de
Distinction

modifier - modifier le code - modifier WikidataDocumentation du modèle

Michel Sintzoff (né à Ixelles le et mort à Ottignies-Louvain-la-Neuve le )[1] est un mathématicien et informaticien belge[2], précurseur de l'interprétation abstraite de programmes.

Biographie

Michel Sintzoff est diplômé en mathématiques à l’université catholique de Louvain[2] (UCL) en 1962. Il effectue un service civil comme enseignant de mathématiques à l'université de Lumumbashi (Katanga), puis rejoint le laboratoire MBLE[3] de Philips à Bruxelles en 1964, où il travaille pendant 18 ans dans le domaine des langages de programmation, sémantique formelle, analyse de programmes et programmation concurrente. En 1982, il rejoint le département d’informatique de l’UCL nouvellement créé comme professeur ordinaire, où il travaille sur des systèmes de preuves, théorie du contrôle et les systèmes dynamiques[2], jusqu'en 2003 où il devient professeur émérite.

Contributions et actions

Les intérêts et contributions de tournent autour de l’écriture et de la correction de programmes. Il est notamment impliqué dans la conception de langages de programmation, dans la méthodologie de la programmation, les mathématiques de la construction de programmes, les méthodes de conception de logiciels, les modèles de systèmes dynamiques, l'algorithmique, les langages formels et la sémantique mathématique[4]. Il a écrit une vingtaine de contributions sur ces sujets. L'article Calculating properties of programs by valuations on specific models[5] de 1972 est considéré[2] comme un article précurseur au concept d’interprétation abstraite.

Sintzoff a eu une grande activité dans la communauté scientifique. Ainsi, il est l'un des fondateurs de l'EATCS. Il est l'un des auteurs du Revised Report on the Algorithmic Language qui spécifie le langage Algol 68[6]. Il était aussi l’un des coauteurs du livre publié sous un pseudonyme : Anna Gram, Raisonner pour programmer, Paris, Dunod, coll. « Dunod informatique », , 388 p. (ISBN 978-2-04-016535-2). En 1993, il est fait docteur honoris causa de l'Université Joseph-Fourier de Grenoble[7].

Il était membre du IFIP Working Group 2.1 (en) Algorithmic Languages and Calculi depuis 1968 et du IFIP Working Group 2.3 Programming Methodology depuis 1976 ; il était le président de ce dernier de 2003 à 2006[2]

Sintzoff est éditeur fondateur du périodique Science of Computer Programming[8].

Distinctions

Michel Sintzoff est fait docteur honoris causa de l'Université Joseph Fourier de Grenoble en 1993. La même année, il est devient chevalier des Palmes Académiques[4]. Il était membre de l'Academia europaea depuis 1993.

Notes et références

  1. ↑ Michel Sintzoff sur inmemoriam.be.
  2. ↑ a b c d et e Axel van Lamsweerde, « The Humble Humorous Researcher: A Tribute to Michel Sintzoff », Formal Aspects of Computing, vol. 23, no 3,‎ , p. 239-242 (lire en ligne, consulté le ).
  3. ↑ MBLE est l’abréviation de « Manufacture belge de lampes et matériel électrique », laboratoire de recherche de Philips.
  4. ↑ a et b Miche Sintzoff sur Academia europaea.
  5. ↑ Michel Sintzoff, « Calculating properties of programs by valuations on specific models », Proceedings of ACM conference on Proving assertions about programs lieu = Las Cruces, New Mexico, USA, ACM,‎ , p. 203–207 (DOI 10.1145/800235.807086, présentation en ligne)
  6. ↑ A. van Wijngaarden, B.J. Mailloux, J.E.L. Peck, C.H.A. Koster, Michel Sintzoff, Charles H. Lindsey, L.G.L.T. Meertens et R.G. Fisker., Revised Report on the Algorithmic Language Algol 68, Springer-Verlag, (lire en ligne), aussi paru dans Acta Informatica : Mêmes auteurs, « Revised Report on the Algorithmic Language Algol 68 », Acta Informatica, vol. 5, nos 1-3,‎ mars 1975, volume 5, issue 1–3, pp 1–236, p. 1–236 (DOI 10.1007/BF00265077, présentation en ligne).
  7. ↑ (en) « Michel Sintzoff », sur le site du Mathematics Genealogy Project.
  8. ↑ Science of Computer Programming Founding editor.

Liens externes