Volker Weispfenning
Volker B. Weispfenning (* 1944 in Frankfurt am Main ) is a German mathematician who deals with mathematical logic ( model theory ) and computer algebra .
Weispfenning studied mathematics from 1963 at the Ruprecht-Karls-Universität Heidelberg , where he received his diploma in 1968 and his doctorate in 1971 under Peter Roquette . From 1971 to 1973 he was a post-doc at Yale University and 1973/74 at the Institute for Advanced Study . From 1974 he was an assistant and, after his habilitation in 1979, professor at Heidelberg University from 1981. From 1987 he was a professor at the University of Passau , where he retired in 2007. He was visiting professor at Yale University (1985) and the University of Dortmund (1986).
Together with Thomas Becker, he is the author of a monograph on Gröbner bases .
In 1986/87 he received a Heisenberg grant. From 1990 to 1993 he was the spokesman for the computer algebra group of the DMV , GAMM and GI .
Fonts
- with Thomas Becker: Gröbner Basis , Springer 1993
- with D. Saracino (editor): Model Theory and Algebra , Springer, Lecturenotes in Mathematics, Vol. 498, 1975
- with J. Grabmeier, E. Kaltofen (editor): Handbook of Computer Algebra , Springer 2002
Web links
personal data | |
---|---|
SURNAME | Weispfenning, Volker |
ALTERNATIVE NAMES | Weispfenning, Volker B. |
BRIEF DESCRIPTION | German mathematician |
DATE OF BIRTH | 1944 |
PLACE OF BIRTH | Frankfurt am Main |