Mads Tofte (nacido el 20 de abril de 1959) es un científico informático danés que ha contribuido en particular a la programación funcional y al lenguaje de programación ML estándar .
Tofte nació en Lyngby , Dinamarca y creció en Holbæk , Dinamarca . Estudió informática y matemáticas en la Universidad de Copenhague , donde obtuvo una maestría (con el supervisor Neil D. Jones ) en 1984; luego en la Universidad de Edimburgo , donde obtuvo un doctorado en 1988 (asesorado por Robin Milner ). Es doctor honoris causa 2007 de la Universidad de Kingston .
En su tesis de maestría de 1984 [1] y en trabajos anteriores, investigó y formalizó el generador de compiladores CERES (con Neil D. Jones) y demostró que (1) un generador de compiladores es en sí mismo un compilador desde las definiciones de lenguaje hasta los compiladores; y (2) bajo supuestos adecuados existe una definición de lenguaje que, cuando se aplica a sí misma, genera un generador de compiladores. Esto tiene estrechas conexiones con la autoaplicación en la evaluación parcial .
En su tesis doctoral desarrolló y demostró que el primer sistema de tipos de sonido para referencias polimórficas de estilo ML era correcto , un importante problema abierto en aquel momento. Además, formalizó una variante del sistema de módulos del lenguaje de programación ML estándar .
Mads Tofte es coautor de la Definición [2] de ML estándar y del Comentario asociado, probablemente la descripción más precisa desarrollada para cualquier lenguaje de programación realista. Fue coautor del ML Kit, una implementación de ML estándar cuya estructura sigue de cerca la Definición.
Posteriormente, desarrolló (con Jean-Pierre Talpin) la noción de inferencia de región , una técnica de análisis de programas y gestión de memoria que evita o minimiza el uso de recolección de basura . Este trabajo se publicó por primera vez [3] en POPL 1994 y en 2005 ganó el premio POPL 1994 Most Influential Paper Award de la Association for Computing Machinery (ACM) .
A finales de los años noventa co-desarrolló (con Fritz Henglein y otros) un sistema de tipos y una herramienta sofisticada llamada AnnoDomini para mitigar el problema del año 2000 en el software COBOL . La herramienta analiza programas heredados para descubrir todos los campos de datos que se utilizan como fechas. Este trabajo fue presentado en una conferencia invitada en POPL 1999. [4]
En abril de 1999 fue nombrado primer director general de la Universidad de Tecnologías de la Información de Copenhague . Supervisó la creación de la universidad desde cero, la contratación de profesores y personal, el reclutamiento de estudiantes y el diseño de los programas de estudio. Los primeros estudiantes comenzaron cinco meses después, en septiembre de 1999. Desde 2003 es vicerrector de la Universidad de Tecnologías de la Información de Copenhague .
En abril de 2018 se anunció que abandonaría la Universidad de Tecnología de la Información de Copenhague a finales de año. En enero de 2019, anunció que se marcharía de Dinamarca para estar con su hija, como consecuencia de las leyes de inmigración de Dinamarca, que le impedían entrar en el país. [5]