Micha Sharir ( hebreo : מיכה שריר ; nacido el 8 de junio de 1950 en Tel Aviv , Israel ) es un matemático y científico informático israelí . Es profesor en la Universidad de Tel Aviv , conocido por sus contribuciones a la geometría computacional y la geometría combinatoria , habiendo sido autor de cientos de artículos.
Sharir nació en Tel Aviv en 1950. Como estudiante de secundaria ganó el primer lugar en las olimpiadas juveniles de matemáticas del Instituto de Ciencias Weizmann y el Premio Grossman del Technion . En 1970, completó sus estudios universitarios y luego sirvió en la unidad 8200 de las Fuerzas de Defensa de Israel , durante su servicio estuvo involucrado en un equipo de investigación que ganó el Premio de Defensa de Israel de 1975. [1] En 1976, Sharir completó sus estudios de doctorado (Ph.D.) en matemáticas puras bajo la supervisión de Aldo Lazar en la Universidad de Tel Aviv . Luego comenzó sus estudios postdoctorales en el Instituto Courant de la Universidad de Nueva York , donde trabajó con Jack Schwartz .
En 1980, se unió a la facultad de la Universidad de Tel Aviv , donde ocupa la Cátedra Isaias Nizri en Geometría Computacional y Robótica a partir de 2020. [actualizar][ 1] [2] También es profesor investigador visitante en el Instituto Courant , donde ha sido subdirector del Laboratorio de Robótica (1985-1989). [3] En la Universidad de Tel Aviv, se ha desempeñado como director del departamento de informática (dos veces), director de la escuela de matemáticas (1997-1999) y es uno de los cofundadores del Centro Minerva de Geometría. [4]
Sharir fue nombrado miembro de la Association for Computing Machinery en 1997. [5] Recibió un doctorado honorario de la Universidad de Utrecht en 1996, el Premio de la Fundación Feher en Ciencias de la Computación del Instituto de Estudios de Israel de Jerusalén en 1999, el Premio Landau de Ciencia e Investigación en 2002 y el Premio EMET de un millón de dólares para el Arte, la Ciencia y la Cultura en las Ciencias Exactas de la Fundación AMN en 2007. [1]
Sharir es un investigador altamente citado del Instituto de Información Científica , ISI . [6]
Participó en el desarrollo de estándares internacionales en programación e informática, como miembro del Grupo de Trabajo 2.1 de la Federación Internacional de Procesamiento de Información (IFIP) sobre Lenguajes Algorítmicos y Cálculos, [7] que especificó , mantiene y soporta los lenguajes de programación ALGOL 60 y ALGOL 68. [ 8]