David E. Muller

Biographie
Naissance	2 novembre 1924; Austin
Décès	27 avril 2008 (à 83 ans); Las Cruces
Nationalité	américaine
Formation	California Institute of Technology
Activités	Mathématicien, informaticien, professeur d'université
Père	Hermann Joseph Muller
Mère	Jessie Marie Jacobs (en)
A travaillé pour	Université d'État du Nouveau-Mexique
Directeur de thèse	Jesse DuMond (en)
Distinction	Doctorat honoris causa de l'université Paris-XIII (1989)

David Eugene Muller (né le 2 novembre 1924 à Austin, Texas et mort le 27 avril 2008 à Las Cruces, New Mexico) est un mathématicien et informaticien théoricien américain, connu pour le théorème de Muller et Schupp, les automates de Muller et le code de Reed-Muller.

Éléments biographiques

David Muller est fils de Hermann Joseph Muller, prix Nobel de physiologie ou médecine en 1946. David Muller obtient un B. Sc. en 1947 et un Ph. D en 1951 en physique au California Institute of Technology. Il est professeur de mathématiques et informatique à l'Université de l'Illinois à Urbana-Champaign de 1953 à 1992, puis devient professeur émérite et professeur adjoint en mathématiques à l'université d'État du Nouveau-Mexique (1995-2008).

Il est l'inventeur de la porte logique appelée porte C (ou C-porte), un dispositif utilisé pour implémenteer des circuits asynchrones dans les calculateurs électroniques. Il est également co-inventeur du code de Reed-Muller. C'est lui qui découvre ces codes, et c'est Irving S. Reed qui propose le décodage . Il est aussi l'inventeur des automates de Muller, un modèle d'automate pour reconnaître des ensembles de mots infinis^[1]. En théorie géométrique des groupes, Muller est connu comme coauteur, avec Paul Schupp, du théorème de Muller-Schupp qui caractérise les groupes finiment engendrés virtuellement libres comme étant les groupes finiment engendrés dont le problème du mot est un langage algébrique^[2].

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « David E. Muller » (voir la liste des auteurs).

↑ David E. Muller, « Infinite sequences and finite machines », Annual Symposium on Switching Circuit Theory and Logical Design (SWCT),‎ 1963, p. 3-16.
↑ David E. Muller, et Paul E. Schupp, « Groups, the theory of ends, and context-free languages », Journal of Computer and System Sciences, vol. 26, n^o 3,‎ 1983, p. 295-310 (lire en ligne).