Informático. Ha realizado aportaciones en la teoría de tipos y la semántica operacional. Es un diseñador de lenguajes destacado, participando en el diseño de Modula-3, que estableció la noción de la programación con tipos, cuya influencia aparece en Java y C#. Sus trabajos en la interacción de los lenguajes de programación y la biología, le ha llevado a la programación molecular, sistemas biológicos, computación natural y semántica cuantitativa.
Cardelli Luca Andrea
- 1954 agosto 10
- Nace Luca Andrea Cardelli, en Montecatini Terme, Italia.