Janusz Antoni Brzozowski, né le à Varsovie en Pologne et mort le à Waterloo au Canada, était un informaticien polonais canadien.
Brzozowski était surtout connu pour ses contributions fondamentales à la logique mathématique, la théorie des circuits et la théorie des automates.
Biographie En 1962, Brzozowski obtint un doctorat dans le domaine de l'ingénierie électrique à l'université de Princeton sous la direction de Edward J. McCluskey, avec une thèse intitulée Regular Expression Techniques for Sequential Circuits. De 1967 à 1996 il fut professeur à l'université de Waterloo. Depuis 1966, il était « Distinguished Professor Emeritus » de l'université de Waterloo.
Contributions scientifiques Brzozowski est réputé notamment pour ses travaux fondamentaux sur les expressions régulières et les monoïdes syntaxiques de langages formels. Un résultat notable a été la caractérisation algébrique des langages localement testables avec Imre Simon, qui a donné une impulsion similaire au développement de la théorie algébrique des langages formels que la célèbre caractérisation des langages sans étoile par Marcel-Paul Schützenberger .
Dans ce domaine, il existe aujourd'hui au moins trois concepts portant le nom de Brzozowski en l'honneur de ses contributions : Le premier est la « conjecture de Brzozowski » nommé ainsi par de Luca et Varicchio à propos la régularité des classes sans compteur. Le deuxième est « l'algorithme de Brzozowski » qui figure dans de nombreux manuels, un algorithme conceptuellement simple pour effectuer la minimisation d'un automate fini déterministe. Enfin, Eilenberg, dans le volume B de son ouvrage de référence sur la théorie des automates, consacre un chapitre à ce qu'il appelle la « hiérarchie de Brzozowski » à l'intérieur des langages sans étoile, aussi connue maintenant sous le nom dot-depth hierarchy. Brzozowski est coauteur de l'article. où est défini la hiérarchie de concaténation et où est posée la question de savoir si cette hiérarchie est stricte ; il est également coauteur de l'article. paru environ dix ans plus tard qui répond à la question. La hiérarchie de Brzozowski a gagné en importance depuis que Wolfgang Thomas a découvert une relation entre le concept algébrique de la hiérarchie de concaténation et la profondeur de l'alternance de quantificateurs dans la logique du premier ordre via les jeux d'Ehrenfeucht-Fraïssé.
Honneurs et récompenses Bourse d'échange scientifique NSERC pour la France (1974–1975) Japan Society for the Promotion of Science Research Fellowship (1984) Medaille du mérite, université catholique de Lublin, Pologne (2001) Canadian Pioneer in Computing, IBMPioneers of Computing in Canada (2005)
Articles scientifiques à grand impact
Livres
Notes et références
Articles connexes Méthode de Brzozowski et McCluskey Dérivée de Brzozowski
Liens externes
Catégorie:Personnalité canadienne de l'informatique Catégorie:Personnalité en informatique théorique Catégorie:Informaticien canadien Catégorie:Informaticien polonais Catégorie:Naissance en mai 1935 Catégorie:Naissance à Varsovie au XXe siècle Catégorie:Décès en octobre 2019 Catégorie:Décès à Waterloo (Ontario) Catégorie:Décès à 84 ans