Klaus Leeb
Pour les articles homonymes, voir Leeb.
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Directeur de thèse |
Gustav Lochs (d) |
Klaus Leeb (né le à Innsbruck)[1] est un informaticien et mathématicien autrichien, professeur à l'Université d'Erlangen-Nuremberg jusqu'à sa retraite.
Biographie[modifier | modifier le code]
Leeb grandit à Wattens. En 1965, à l'âge de 23 ans, il obtient son doctorat sous la supervision de Gustav Lochs à l'Université d'Innsbruck avec une thèse intitulée Eine selbstduale Verallgemeinerung des Laskerschen Einzigkeitssatzes für Primärdarstellungen (« Une généralisation auto-duale du théorème d'unicité de Lasker pour les représentations primaires »)[2] En 1972, il le premier professeur d'informatique nommé à l'Université d'Erlangen-Nuremberg, dans le domaine de l'informatique théorique, où il est resté jusqu'à sa retraite. Il a fait des séjours comme professeur invité à l'Université du Minnesota.
Recherche[modifier | modifier le code]
Klaus Leeb a contribué notamment à la théorie de Ramsey, en partie avec Ronald Graham et Bruce Lee Rothschild[3].
En 1971, Klaus Leeb est parmi les premiers récipiendaires du prix George-Pólya.
Publications (sélection)[modifier | modifier le code]
- Klaus Leeb et Giuseppe Pirillo, « Shuffle-compatible total orders », Annali di Matematica Pura ed Applicata (Série IV), vol. 153, no 1, , p. 1–26 (DOI 10.1007/BF01762383, zbMATH 0676.06001).
- Ronald Graham, Klaus Leeb et Bruce Lee Rothschild, « Ramsey's theorem for a class of categories », Advances in Mathematics, vol. 8, no 3, , p. 417–433 (DOI 10.1016/0001-8708(72)90005-9
, zbMATH 0243.18011).
Notes et références[modifier | modifier le code]
- (de) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en allemand intitulé « Klaus Leeb » (voir la liste des auteurs).
- Dates d'après le Who’s who in Germany, 1980
- (en) « Klaus Leeb », sur le site du Mathematics Genealogy Project.
- Graham, Leeb et Rothschild 1972.
Liens externes[modifier | modifier le code]
- Ressource relative à la recherche :
