Bill Schelter
William Frederick Schelter (Canadá, 15 de octubre de 1947 – Rusia, 30 de julio de 2001)[1][2] fue un profesor de matemáticas en la Universidad de Texas en Austin y programador y desarrollador de software en Lisp.
| Bill Schelter | ||
|---|---|---|
| Información personal | ||
| Nombre de nacimiento | William Frederick Schelter | |
| Nacimiento |
15 de octubre de 1947 Canadá | |
| Fallecimiento |
30 de julio de 2001 Rusia | |
| Nacionalidad | Estadounidense | |
| Educación | ||
| Educado en | Universidad McGill | |
| Supervisor doctoral | Joachim Lambek | |
| Información profesional | ||
| Ocupación | profesor, matemático, programador | |
| Empleador | Universidad de Texas en Austin | |
Biografía
A Schelter se le atribuyen el desarrollo de la implementación de Common Lisp GNU Common Lisp (gcl) y la versión con licencia GPL del sistema algebraico computacional Macsyma llamada Maxima. También se le atribuye el primer port del compilador de C de GNU a la arquitectura Intel 386, que se usó en la implementación original del núcleo Linux .
Schelter obtuvo su doctorado en la Universidad McGill en 1972. Su especialidad matemática era el álgebra computacional y sus aplicaciones, incluyendo la demostración automática de teoremas en geometría.
En verano de 2001, a los 54 años, falleció repentinamente por infarto agudo de miocardio[cita requerida], mientras viajaba por Rusia.
Referencias
- «IN MEMORIAM - WILLIAM FREDERICK SCHELTER» (en inglés). The University of Texas. Consultado el 18 de mayo de 2014.
- «William F Schelter (1947 - 2001)». ancientfaces.com. Consultado el 18 de mayo de 2014.
- S. Chou y W. Schelter. Proving Geometry Theorems with Rewrite Rules Journal of Automated Reasoning, 1986.
