Sergio Rajsbaum recibe Doctorado Honoris Causa del INAOE
El Dr. Sergio Rajsbaum Gorodezky, investigador del Instituto de Matemáticas de la UNAM en Ciudad Universitaria, recibió el Doctorado Honoris Causa del Instituto Nacional de Astrofísica, Óptica y Electrónica (INAOE). El reconocimiento se otorgó en la ocasión del LIII Aniversario del INAOE y LXXXII del OANTON (Observatorio Astrofísico Nacional de Tonantzintla), celebrado el pasado 15 de noviembre en Santa María Tonantzintla, Puebla.
El Doctorado Honoris Causa es el máximo grado honorífico que puede otorgar una institución a personas eminentes. Esta designación se otorga a colegas distinguidos de la comunidad científica en reconocimiento a sus extraordinarios aportes en sus respectivas áreas de investigación.
Sergio Rajsbaum tiene una destacada trayectoria en el campo de la computación teórica, especialmente en el cómputo distribuido y las aplicaciones de la topología algebraica en este campo. Se graduó en Ingeniería en Computación en la UNAM en 1985, donde comenzó su interés por el cómputo paralelo. Posteriormente hizo su doctorado en Ciencias de la Computación en el Instituto de Tecnología de Israel (Technion), obteniendo el grado en 1991. En su tesis definió el problema de unison. En 1995 realizó un posdoctorado en el MIT con Nancy Lynch, donde trabajó en protocolos de sincronización de relojes (como el Network Time Protocol, NTP). Durante este tiempo conoció a Maurice Herlihy, con quien comenzó a estudiar la conexión entre el cómputo distribuido y la topología algebraica, la cual formó la base de una colaboración de gran impacto que aún continúa.
Una de las contribuciones más significativas de Rajsbaum fue la introducción del concepto de unison en su tesis de doctorado, un mecanismo por el cual los procesos en un sistema distribuido se sincronizan de manera natural sin necesidad de una rutina de inicialización explícita. Esta idea dio lugar a una nueva área de investigación en computación distribuida que sigue activa hoy en día.
En su investigación, Rajsbaum se enfoca en explorar los límites de lo que se puede hacer en sistemas distribuidos, formados por procesos de cómputo que colaboran para resolver algún problema. Especialmente en términos de eficiencia y tolerancia a fallas. Ha estudiado cómo la topología puede ofrecer nuevas perspectivas y herramientas para abordar problemas en sistemas distribuidos donde los procesos se comunican a través de una memoria compartida, así como en los cuales la comunicación es mediante el envío de mensajes. Su investigación tiene un fuerte componente interdisciplinario. Por ejemplo, ha estudiado el carácter topológico del célebre teorema de imposibilidad de Arrow para las votaciones. Mientras que en otra línea estudio el papel de la topología en la lógica epistémica multiagente. También ha explorado métodos topológicos en la verificación en tiempo de ejecución (runtime verification).
Sergio siempre ha sido un apasionado de la teoría de gráficas, desde que tomó el curso de licenciatura de Gráficas y Juegos en la Facultad de Ciencias de la UNAM con Hortensia Galeana líder de esta área en México, y posteriormente en el doctorado cuando tomó el curso de Algoritmos en Gráficas con su asesor doctoral Shimon Even en el Technion, autor del primer libro en este tema.
Inició sus estudios en la Facultad de Ingeniería por su interés por la electrónica, pero al tomar ahí el primer curso de programación lo llevó a cambiar el rumbo de la ingeniería electrónica a la ingeniería en computación, y finalmente a Ciencias de la Computación en su doctorado.
Sergio transmite esta lección a los jóvenes investigadores: el éxito en la ciencia depende de varias cosas, como trabajar mucho, con mucha tenacidad, de esforzarse por mejorar en habilidades como las de exposición y escritura, de tener curiosidad, flexibilidad y creatividad. Pero también de las personas con las que trabajas y la confianza que compartes con ellas, de formar muy buenos equipos de trabajo.
La comunidad del IMUNAM se enorgullece y felicita enormemente a Sergio por tan merecido reconocimiento.