Michael David May FRS FREng [1] (nacido el 24 de febrero de 1951) es un informático británico . Es profesor en el Departamento de Ciencias de la Computación de la Universidad de Bristol y fundador de XMOS Semiconductor , ocupando hasta febrero de 2014 el cargo de director de tecnología . [2]
May fue el arquitecto principal del transputer . En 2017, posee 56 patentes, todas en microprocesadores y multiprocesamiento .
May nació en Holmfirth , Yorkshire, Inglaterra y asistió a la escuela secundaria Queen Elizabeth, Wakefield . De 1969 a 1972 fue estudiante en King's College, Cambridge , Universidad de Cambridge , estudiando primero Matemáticas y luego Ciencias de la Computación en el Laboratorio de Matemáticas de la Universidad de Cambridge, ahora Laboratorio de Computación de la Universidad de Cambridge .
Se mudó a la Universidad de Warwick y comenzó a investigar en robótica . Los desafíos de implementar sistemas de detección y control lo llevaron a diseñar e implementar uno de los primeros lenguajes de programación concurrentes , EPL, que se ejecutaba en un grupo de microcomputadoras de placa única conectadas por enlaces de comunicación en serie . Estos primeros trabajos lo pusieron en contacto con Tony Hoare e Iann Barron : uno de los fundadores de Inmos .
Cuando se formó Inmos en 1978, May se incorporó para trabajar en arquitectura de microcomputadores, convirtiéndose en arquitecto principal del transputador y diseñador del lenguaje de programación asociado Occam . Esto amplió su trabajo anterior y también fue influenciado por Tony Hoare , quien en ese momento trabajaba en CSP y actuaba como consultor de Inmos.
El prototipo del transputador se llamó Simple 42 y se completó en 1982. Los primeros transputadores de producción, el T212 y el T414 , siguieron en 1985; el transputador de punto flotante T800 en 1987. May inició el diseño de uno de los primeros conmutadores de paquetes VLSI , el C104 , junto con el sistema de comunicaciones del transputador T9000 .
Trabajando estrechamente con Tony Hoare y el Grupo de Investigación de Programación de la Universidad de Oxford , May introdujo técnicas de verificación formal en el diseño de la unidad de punto flotante T800 y el transputador T9000 . Estos fueron algunos de los primeros usos de la verificación formal en el diseño de microprocesadores, involucrando especificaciones, transformaciones que preservan la corrección y verificación de modelos , dando origen a la versión inicial del verificador FDR desarrollado en Oxford.
En 1995, May se incorporó a la Universidad de Bristol como profesora de informática. Fue jefe del departamento de informática de 1995 a 2006. Continúa siendo profesor en Bristol mientras apoyaba XMOS , una empresa derivada de la Universidad que cofundó en 2005. Antes de XMOS, estuvo involucrado en Picochip , donde escribió el conjunto de instrucciones originales.
May está casada, tiene tres hijos y vive en Bristol, Reino Unido.
En 1990, May recibió un Doctorado Honorario en Ciencias de la Universidad de Southampton , seguido en 1991 por su elección como miembro de la Royal Society y la Medalla Clifford Paterson y el Premio del Instituto de Física en 1992.
En 2010, fue elegido Fellow [3] de la Real Academia de Ingeniería . [4]
La Ley de May establece, en referencia a la Ley de Moore :
La eficiencia del software se reduce a la mitad cada 18 meses, compensando la Ley de Moore. [5]
{{cite web}}: Mantenimiento CS1: URL no apta ( enlace )