| Fødsel | November 2 , 1924 |
|---|---|
| Død | 27. april 2008 (83 år gammel) |
| Nationalitet | amerikansk |
| Uddannelse | California Institute of Technology |
| Aktiviteter | Matematiker , datalog |
| Arbejdede for | New Mexico State University |
|---|---|
| Tilsynsførende | Jesse DuMond ( in ) |
David Eugene Muller (født den2. november 1924i Austin , Texas og døde den27. april 2008i Las Cruces , New Mexico ) er en matematiker og computerteoretiker amerikansk, kendt for sætningen Muller og Schupp , PLC Muller og koden Reed-Muller .
David Muller er søn af Hermann Joseph Muller , nobelprisvinder i fysiologi eller medicin i 1946. David Muller opnåede en B. Sc. I 1947 og en ph.d. i 1951 i fysik ved California Institute of Technology . Han var professor i matematik og datalogi ved University of Illinois i Urbana-Champaign fra 1953 til 1992, blev derefter professor emeritus og assisterende professor i matematik ved New Mexico State University (1995-2008).
Han er opfinderen af den logiske gate kaldet C gate (eller C-gate ), en enhed, der bruges til at implementere asynkrone kredsløb i elektroniske computere. Han er også medopfinder af Reed-Muller-koden . Det er han, der opdager disse koder, og det er Irving S. Reed, der foreslår afkodningen. Han er også opfinderen af Muller's automata , en model af automat til genkendelse af sæt uendelige ord . I geometrisk gruppeteori er Muller kendt som medforfatter sammen med Paul Schupp af Muller-Schupp-sætningen, som karakteriserer endeligt genererede grupper næsten gratis som værende endeligt genererede grupper, hvis ordproblem er et algebraisk sprog .