Michael David May (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 , donde ocupó el cargo de director de tecnología hasta febrero de 2014. [ 1]
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 Queen Elizabeth Grammar School, Wakefield . De 1969 a 1972 fue estudiante en el King's College, Cambridge , Universidad de Cambridge , primero estudiando 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 trasladó 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 un lenguaje de programación concurrente temprano , EPL, que se ejecutaba en un grupo de microcomputadoras de placa única conectadas por enlaces de comunicación en serie . Este trabajo temprano lo puso en contacto con Tony Hoare e Iann Barron : uno de los fundadores de Inmos .
Cuando se formó Inmos en 1978, May se unió para trabajar en la arquitectura de microcomputadoras, convirtiéndose en el arquitecto principal del transputer y diseñador del lenguaje de programación asociado Occam . Esto amplió su trabajo anterior y también recibió la influencia de Tony Hoare , que 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 .
En estrecha colaboración 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, que involucraron especificaciones, transformaciones que preservan la corrección y verificación de modelos , lo que dio lugar a la versión inicial del verificador FDR desarrollado en Oxford.
En 1995, May se incorporó a la Universidad de Bristol como profesor de informática. Fue director del departamento de informática desde 1995 hasta 2006. Sigue siendo profesor en Bristol mientras apoya a XMOS , una empresa derivada de la Universidad que cofundó en 2005. Antes de XMOS, estuvo involucrado en Picochip , donde escribió el conjunto de instrucciones original.
May está casada, tiene tres hijos y vive en Bristol, Reino Unido.
En 1990, May recibió un DSc honorario de la Universidad de Southampton , seguido en 1991 por su elección como miembro de la Royal Society y la Medalla y Premio Clifford Paterson del Instituto de Física en 1992.
En 2010, fue elegido miembro [2] de la Real Academia de Ingeniería . [3]
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. [4]
{{cite web}}: CS1 maint: URL no apta ( enlace )