Michel Sintzoff
| Naissance | |
|---|---|
| Décès | |
| Nationalité | |
| Activités |
| Membre de | |
|---|---|
| Distinction |
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
[modifier | modifier le code]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
[modifier | modifier le code]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
[modifier | modifier le code]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
[modifier | modifier le code]- Michel Sintzoff sur inmemoriam.be.
- 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 ).
- MBLE est l’abréviation de « Manufacture belge de lampes et matériel électrique », laboratoire de recherche de Philips.
- Miche Sintzoff sur Academia europaea.
- 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)
- 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).
- (en) « Michel Sintzoff », sur le site du Mathematics Genealogy Project.
- Science of Computer Programming Founding editor.
Liens externes
[modifier | modifier le code]- Publications de Michel Sintzoff sur DBLP
- CV archivé sur UCL
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
