David Alexander est un scientifique américain né le 25 novembre 1948 à Boston (États-Unis). Il est connu pour ses travaux dans les domaines de l'informatique théorique et de la physique mathématique.
David a obtenu son doctorat en informatique à l'université Carnegie Mellon en 1973, sous la direction de Gerhard Goos. Il est ensuite professeur de mathématiques à l'université Stanford et à l'université de Californie à Berkeley.
David Alexander a été distingué pour ses contributions importantes dans les domaines de la théorie des algorithmes, de la complexité algorithmique, et de la logique modale. Il est particulièrement connu pour son travail sur les automates finis déterministes et la classification des problèmes de recherche par exhaustion en classes P et NP.
Il a été récompensé du prix Gödel en 1980 et du prix Knuth-Mellrichseth en 2003. Depuis 1995, David Alexander est membre de l'Académie nationale des sciences américaine.
David a obtenu son doctorat en informatique à l'université Carnegie Mellon en 1973, sous la direction de Gerhard Goos. Il est ensuite professeur de mathématiques à l'université Stanford et à l'université de Californie à Berkeley.
David Alexander a été distingué pour ses contributions importantes dans les domaines de la théorie des algorithmes, de la complexité algorithmique, et de la logique modale. Il est particulièrement connu pour son travail sur les automates finis déterministes et la classification des problèmes de recherche par exhaustion en classes P et NP.
Il a été récompensé du prix Gödel en 1980 et du prix Knuth-Mellrichseth en 2003. Depuis 1995, David Alexander est membre de l'Académie nationale des sciences américaine.
