Michel Sintzoff#
| Sadly, this member passed away. | |
| Membership Number: | 1489 |
| Membership type: | |
| Main Country of Residence: | BELGIUM |
| Section: | INFORMATICS |
| Username: | msintzoff |
| Elected: | 1993 |
Michel Sintzoff passed away November 28, 2010
Positions held
- 2003-present: Professeur émérite, Université catholique de Louvain
- 2003-present: Professeur honoraire, Université Libre de Bruxelles
- 1982--2003: Professeur ordinaire, Université catholique de Louvain
- 1974-2003: Professeur agréé, Université Libre de Bruxelles
- 1972-1982: Chargé de cours extraordinaire, Université catholique de Louvain
- 1971-1974: Visiting lecturer, Université Libre de Bruxelles
- 1964-1982: Member of the MBLE-Philips Research Laboratory Brussels
- 1962-1964: Teaching assistant, Université de Lubumbashi, R.D. Congo
- 1962: licence en sciences mathématiques, Université catholique de Louvain
Fields of Scholarship
- programming languages
- programming methodology
- mathematics of program construction
- software design methods
- dynamical systems models
- algorithmics
- formal languages
- mathematical semantics
Honours and Awards
- 1989: Prize Fonds National de la Recherche Scientifique, Belgium, and SWIFT
- 1990: Francqui Chair, Nationaal Fonds voor Wetenschappelijk Onderzoek, Katholieke Universiteit te Leuven, Belgium
- 1993: Docteur honoris causa, Université J. Fourier, Grenoble, France
- 1993: Chevalier des Palmes Académiques, France
