| Ada Augusta
Byron, Condesa de Lovelace |
La
primera programadora de la Historia (en la Máquina de Diferencias
de Charles Babbage, del que también fue mecenas) |
|
| Grace Brewster Murray
Hopper, Almirante de la U.S. Navy |
Tal
vez la primera "programadora" de un ordenador moderno, y una de los responsables del diseño del lenguaje COBOL |
|
| Edsger
Wybe Dijkstra |
Padre
de la Programación Estructurada (y de tantísimas otras cosas...) |
Premio
Turing 1972 |
|
Kurt Gödel |
El
verdadero precursor de la programación moderna (en resumen) |
|
| Alan
Mathison Turing |
El
padre de la Informática, si es que hay uno digno de tal nombre |
|
|
John
(Janós) von Neumann |
Muy
polifacético inventor del concepto de programa almacenado |
|
| John
Backus |
Padre
de FORTRAN (el primer lenguaje), FP y la notación BNF. |
Premio
Turing 1977 |
| John
McCarthy |
Padre
de LISP y de la Inteligencia Artificial |
Premio
Turing 1971 |
| Niklaus
Wirth |
Padre
de Pascal, Modula y Oberon. |
Premio
Turing 1984 |
| David
Lorge Parnas |
Inventor
del concepto de ocultación de información |
|
| Alan J. Perlis |
Autor
del primer Plan de Estudios de Informática del mundo |
Premio
Turing 1966 |
| C.
Anthony R. Hoare |
Padre
de la programación concurrente, la verificación formal, etc. |
Premio
Turing 1980 |
| Robert
W. Floyd |
Padre
de la verificación formal de programas |
Premio
Turing 1978 |
| Marvin
Minsky |
El
"otro" padre de la Inteligencia Artificial |
Premio
Turing 1969 |
| A.
J. Robin C. Milner |
Padre
de la verificación automática, de la programación funcional... |
Premio
Turing 1991 |
| Alonzo Church |
Inventor
del cálculo lambda, el "segundo" lenguaje de programación |
|
| Haskell
Brooks Curry |
Inventor
de la lógica combinatoria, el par de Church y su gran rival |
|
|
Noam
Chomsky |
Padre
de la Teoría de Lenguajes moderna (con permiso de De Saussure) |
|
| Stephen Cole Kleene |
Discípulo
y verdadero sampablo de Alonzo Church (y de Kurt Gödel) |
|
| James
Barkley Rosser |
El
otro gran discípulo de Alonzo Church |
|
| Claude Elwood Shannon |
Padre de la electrónica digital
y de la teoría de la información |
|
| Kristen
Nygaard |
Primer
padre de la Programación Orientada a Objetos |
Premio
Turing 2001 |
| Ole-Johan
Dahl |
Segundo
padre de la Programación Orientada a Objetos |
Premio
Turing 2001 |
| Alan
Kay |
Padre
de Smalltalk, el "segundo" lenguaje orientado a objetos |
|
| Adele
Goldberg |
Divulgadora
e inventora de Smalltalk |
|
| Donald
Erwin Knuth |
Gran
compilador de la algorítmica moderna y padre de TeX |
Premio
Turing 1974 |
| Dennis
Muren Ritchie |
Inventor
de C y co-inventor de Unix |
Premio
Turing 1983 |
| Eugenio
Moggi |
Padre
de la semántica monádica |
|
| Philip
J. Wadler |
Padre
de la programación funcional monádica |
|
| Edgar
F. Codd |
Inventor
del Modelo Relacional y las Bases de Datos modernas |
Premio
Turing 1981 |
| Alain
Colmenauer |
Padre
de la programación lógica y autor original de PROLOG |
|
| Jean
Ichbiah |
Padre
de Ada, el lenguaje (es decir, no es George Gordon, Lord Byron) |
|
| Dana
S. Scott |
Autor
de la LCF original y de las semánticas denotacionales, entre otras |
Premio
Turing 1976 |
| Michael
O. Rabin |
Inventor
del concepto de autómata no determinista junto con Scott |
Premio
Turing 1976 |
| David Gries |
Co-inventor
de la verificación formal de pgoramas concurrentes |
|
| Susan S. Owicki |
Co-inventora
de la verificación algebraica de programas concurrentes |
|
| Amir
Pnueli |
Pionero
de la introducción de la Lógica Temporal en Informática |
Premio
Turing 1996 |
| Zohar
Manna |
El
otro pionero de la Lógica Temporal en Informática |
|
| Colin
Stirling |
Autor
del cálculo-mu modal, la lógica temporal canónica definitiva |
|
| Moshe Y. Vardi | Uno de los padres de la verificación automática (usando lógica) | Premio
Gödel 2000 |
| Pierre Wolper |
Autor
de referencia en la verificación de programas concurrentes |
Premio
Gödel 2000 |
| John V. Guttag |
Padre
de las especificaciones algebraicas y de Larch |
|
| Joseph Goguen |
Otro
padre de las especificaciones algebraicas, y en especial de OBJ |
|
| José Meseguer |
Descubridor de la Lógica de
Reescritura, en la tradición de OBJ |
|
| Brian
Wentworth Kernighan |
El
jefe de Ritchie, Thompson, Aho, Korth, Pike, Stroustrup... |
|
| John
Hopcroft |
Destacado
autor en algorítmica y estructuras de datos |
Premio
Turing 1986 |
| Leslie
Lamport |
Uno
de los padres de la concurrencia, y autor de TLA, TLA+ y LaTeX |
|
| Bertrand
Meyer |
Autor
de Eiffel |
|
| Bjarne
Stroustrup |
Padre
de C++ |
|
| Brad
Cox |
Padre
de Objective C y difusor de la noción de componente |
|
| Brian
Cantwell Smith |
Autor
de 3-Lisp y descubridor de la Reflexión Computacional |
|
| Pattie Maes |
Sampablo
de la Reflexión en OO, y de los agentes software inteligentes |
|
| Larry
Wall |
Padre
de Perl... lo que mejora todo lo que hizo antes |
|
| Daniel
Bobrow |
Autor
de Flavors, y uno de los padres de CLOS |
|
| Jim
des Rivieres |
Otro
de los padres de CLOS |
|
| Gregor
Kiczales |
Otro
de los padres de CLOS, y padre de la orientación a aspectos |
|
| Karl
Lieberherr |
Padre
de la "programación adaptativa" |
|
| Guido
von Rossum |
Autor
de Python |
|
| John
K. Ousterhout |
Autor
de Tcl/Tk, padre del concepto de lenguaje de script |
|
| Guy
L. Steele, Jr. |
Autor
de Scheme, y uno de los padres de Java |
|
| Daniel P. Friedman |
Gran
difusor de Scheme, y padre de la Torre Reflexiva Infinita |
|
| Alfred
A. Aho |
Padre
de AWK y autor de referencia en teoría de autómatas |
|
| James
Gosling |
Padre
de Java, o eso dicen... con mucha ayuda |
|
| Bill
Joy |
Padre
de la C-Shell (y de muchas otras ideas en Unix) |
|
| Paul
Hudak |
Uno
de los padres de Haskell |
|
| Graham
Hutton |
El
otro padre de Haskell |
|
| Simon
Peyton Jones |
Autor
de referencia en programación funcional y ML |
|
| Lawrence
C. Paulson |
Autor
de referencia en ML y teoría de tipos |
|
| Luca
Cardelli |
Reintroductor
de la teoría de tipos en programación |
|
| Peter
Wegner |
Gran
compilador de la programación orientada al objeto |
|
| David
Ungar |
Autor
de Self, el lenguaje paradigmático basado en prototipos |
|
| Christopher Strachey |
Inventor
de la semántica denotacional junto con Dana Scott |
|
| Gordon D. Plotkin |
Inventor
de la semántica operacional estructurada |
|
| Jean-Yves
Girard |
Padre
de la teoría de tipos polimórficos (Sistema F) |
|
| John C. Reynolds |
Padre
de la teoría de tipos polimórficos (Sistema R) |
|
| Ken
Thompson |
Autor
de Unix (sí, el sistema operativo, la versión original) |
Premio
Turing 1983 |
| Christopher
Alexander |
Arquitecto
autor de la noción de patrón de diseño |
|
| Barbara H. Liskov |
Autora
de Clu y Theta, y del subtipado según comportamiento |
|
| Jeannete M. Wing |
La
Dama Dragón, autora ligada al subtipado según
comportamiento |
|
| Gary
T. Leavens |
Otro
de los padres del subtipado por comportamiento |
|
| Anders
Hejlsberg |
Autor
de Turbo C, Delphi, C++ Builder, JBuilder, C# y arquitecto de .NET |
|
| Clemens
Szyperski |
Autor
de referencia en programación con componentes |
|
| Gregory
Andrews |
Autor
del lenguaje SR, otro de los padres de la programación concurrente |
|
| Per
Brinch Hansen |
Uno
de los padres de la programación concurrente |
|
| Akinori
Yonezawa |
Coautor
de ABCL y sus numerosas variantes |
|
| Mario
Tokoro |
Coautor
de ABCL y sus numerosas variantes |
|
| Jeff
Kramer |
Padre
de la moderna perspectiva de la programación concurrente |
|
| Jeff
Magee |
Uno
de los socios de Kramer, inventor de Conic y Darwin |
|
| Morris
Sloman |
El
otro socio de Kramer, evolucionando hacia la coordinación |
|
| John Harrison |
Padre de la "programación orientada
al sujeto" |
|
| Harold Ossher |
Padre del concepto de separación
de intereses multidimensional |
|
| Ralph Johnson |
Uno de los padres de los patrones de
diseño y los frameworks |
|
| Erich Gamma |
El padre por excelencia de los patrones
de diseño |
|
| K.
Jon Barwise |
Autor
que relacionó la lógica formal (e infinitaria) con el lenguaje |
|
| Solomon Feferman |
Terminó el trabajo de Gödel
y Turing (más allá de las lógicas ordinales) |
|
| Alfred Tarski |
Autor
del teorema de Tarski y la teoría de jerarquías de metalenguajes |
|
| Bertrand
Arthur William Russell |
Autor
del Principia Mathematica y padre de la lógica moderna |
Premio
Nobel 1950 |
| Friedrich Ludwig
Gottlob Frege |
Padre
de la lógica moderna (de orden superior) |
|
| George Boole |
Descubridor
del álgebra de Boole ("el álgebra de la lógica") |
|
| Arto
Salomaa |
Autor
de referencia en teoría de autómatas y lenguajes formales |
|
| Charles
Simonyi |
Autor
de la notación húngara y, en cierto modo, de Windows |
|
| Linus
Torvalds |
Autor
original del núcleo de Linux |
|
| Richard
M. Stallman |
Padre
del concepto GNU y uno de los autores de Emacs |
|
| William
H. Gates III |
En
la primera mitad de los 80, hizo un pequeño intérprete de Basic |
|
(c) 2005 Departamento de Informática,
Universidad de Valladolid
Para cualquier duda relativa a estas páginas
o la información contenida en las mismas, póngase en contacto
con el webmaster (cesargf [at] infor.uva.es) de la asignatura.
|