Geburt |
12. August 1938 Ixelles |
---|---|
Tod |
28. November 2010(bei 72) Ottignies-Louvain-la-Neuve ( d ) |
Aktivitäten | Informatiker , Mathematiker |
Mitglied von | Academia Europaea (1993) |
---|
Michel Sintzoff (geboren in Ixelles am12. August 1938und starb in Ottignies-Louvain-la-Neuve am28. November 2010) ist ein belgischer Mathematiker und Informatiker , Pionier der abstrakten Interpretation von Programmen.
Michel Sintzoff schloss 1962 sein Mathematikstudium an der Katholischen Universität von Louvain (UCL) ab. Er leistet einen Zivildienst als Mathematiklehrer an der Universität von Lubumbashi ( Katanga ) und trat 1964 in das Labor MBLE von Philips in Brüssel ein, wo er arbeitete seit 18 Jahren im Bereich Programmiersprachen , formale Semantik , Programmanalyse und gleichzeitige Programmierung . 1982 wechselte er als ordentlicher Professor in die Informatikabteilung der neu geschaffenen UCL , wo er bis 2003 als emeritierter Professor an Beweissystemen , Steuerungstheorie und dynamischen Systemen arbeitete.
Die Interessen und Beiträge von drehen sich um das Schreiben und Korrekturlesen von Programmen. Er befasst sich insbesondere mit dem Entwurf von Programmiersprachen , der Programmiermethodik , der Mathematik der Programmkonstruktion, Software-Entwurfsmethoden, Modellen dynamischer Systeme, Algorithmen, formalen Sprachen und der Semantik. Er hat ungefähr zwanzig Beiträge zu diesen Themen geschrieben. Der Artikel von 1972 zur Berechnung der Eigenschaften von Programmen anhand von Bewertungen bestimmter Modelle gilt als wegweisender Artikel zum Konzept der abstrakten Interpretation .
Sintzoff war in der wissenschaftlichen Gemeinschaft sehr aktiv. Damit ist er einer der Gründer von EATCS . Er ist einer der Autoren des überarbeiteten Berichts über die algorithmische Sprache, in dem die Sprache Algol 68 angegeben ist . Er war auch einer der Mitautoren des unter einem Pseudonym veröffentlichten Buches: Anna Gram, Raisonner pour program , Paris, Dunod , coll. "Dunod informatique",1986388 p. ( ISBN 978-2-04-016535-2 ).
Er war seit 1968 Mitglied der IFIP-Arbeitsgruppe 2.1 (en) Algorithmic Languages and Calculi und seit 1976 der IFIP-Arbeitsgruppe 2.3 Programming Methodology ; Er war von 2003 bis 2006 dessen Präsident
Sintzoff ist Gründungsredakteur der Zeitschrift Science of Computer Programming .
Michel Sintzoff erhielt 1993 die Ehrendoktorwürde der Université Joseph Fourier in Grenoble. Im selben Jahr wurde er Ritter der Academic Palms . Seit 1993 ist er Mitglied der Academia europaea .