Syntymä |
12. elokuuta 1938 Ixelles |
---|---|
Kuolema |
28. marraskuuta 2010(72 - vuotiaana) Ottignies-Louvain-la-Neuve ( d ) |
Toiminta | Tietotekniikka , matemaatikko |
Jonkin jäsen | Academia Europaea (1993) |
---|
Michel Sintzoff (syntynyt vuonna Ixelles päällä12. elokuuta 1938ja kuoli Ottignies-Louvain-la-Neuvessa päällä28. marraskuuta 2010) on belgialainen matemaatikko ja tietojenkäsittelijä , ohjelmien abstraktin tulkinnan edelläkävijä .
Michel Sintzoff valmistui matematiikan Leuvenin katolisen yliopiston (UCL) vuonna 1962. Se suorittaa siviilipalveluksen kuin matematiikan opettajana yliopistossa Lubumbashi ( Katangan ) ja sitten liittyi laboratorion MBLE on Philipsin Brysselissä vuonna 1964, jossa hän työskenteli 18 vuoden ajan ohjelmointikielien , muodollisen semantiikan , ohjelma-analyysin ja samanaikaisen ohjelmoinnin alalla . Vuonna 1982 hän liittyi vasta perustetun UCL: n tietojenkäsittelytieteen osastoon varapuheenjohtajana , jossa hän työskenteli todistejärjestelmien , ohjausteorian ja dynaamisten järjestelmien parissa vuoteen 2003 asti, jolloin hänestä tuli emeritusprofessori.
Kiinnostukset ja panokset kiertävät kirjoitus- ja oikolukuohjelmien ympärillä. Hän on erikoistunut erityisesti ohjelmointikielien suunnitteluun, ohjelmointimenetelmiin , ohjelmarakentamisen matematiikkaan, ohjelmistosuunnittelumenetelmiin, dynaamisten järjestelmien malleihin, algoritmeihin, virallisiin kieliin ja semantiikkaan. Hän on kirjoittanut noin 20 kirjoitusta näistä aiheista. Vuonna 1972 julkaistua artikkelia Ohjelmien ominaisuuksien laskeminen tiettyjen mallien arvioinnilla pidetään edelläkävijänä abstraktin tulkinnan käsitteessä .
Sintzoffilla on ollut paljon toimintaa tiedeyhteisössä. Siksi hän on yksi EATCS: n perustajista . Hän on yksi tarkistetun raportin algoritmisesta kielestä, jossa määritetään Algol 68 -kieli, kirjoittajista . Hän oli myös yksi salanimellä julkaistun kirjan tekijöistä: Anna Gram, Raisonner pour program , Paris, Dunod , coll. "Dunod informatique",1986, 388 Sivumäärä ( ISBN 978-2-04-016535-2 ).
Hän oli IFIP-työryhmän 2.1 (en) algoritmiset kielet ja laskelmat jäsen vuodesta 1968 ja IFIP-työryhmän 2.3 ohjelmointimenetelmät vuodesta 1976; hän oli viimeksi mainitun presidentti vuosina 2003-2006
Sintzoff on Science of Computer Programming -lehden perustajatoimittaja .
Michel Sintzoff sai kunniatohtorin päässä Université Joseph Fourier Grenoblessa vuonna 1993. Samana vuonna hän tuli ritari Academic Palms . Hän on ollut Academia europaean jäsen vuodesta 1993.