Comenzar diciendo que Edsger W. Dijkstra es ganador de premio Turing de ACM es al menos torpe.
Con un algoritmo en la teoría de grafos con su nombre, a hecho contribuciones en varios de los campos de la computación, lenguajes de programación, procesamiento distribuido, etc. destacándose sobre todo en especificación y verificación formal. Es reconocido como uno de los padres fundacionales de las ciencias de la computación.
Si bien parte de su obra se encuentra registrada en varios libros de texto, gran parte de sus pensamientos, observaciones, notas se encuentran en manuscritos publicados solo en este sitio de la Universidad donde terminó su carrera. Que lo disfruten.
Link: http://www.cs.utexas.edu/users/EWD/
Suscribirse a:
Enviar comentarios (Atom)
No hay comentarios:
Publicar un comentario