Sergio Rajsbaum

De Wikipedia, la enciclopedia libre
Sergio Rajsbaum
Información personal
Nacimiento 3 de marzo de 1962 Ver y modificar los datos en Wikidata (62 años)
Ciudad de México (México) Ver y modificar los datos en Wikidata
Nacionalidad Mexicana
Educación
Educado en
Supervisor doctoral Shimon Even Ver y modificar los datos en Wikidata
Información profesional
Ocupación Informático teórico y escritor Ver y modificar los datos en Wikidata
Empleador Universidad Nacional Autónoma de México Ver y modificar los datos en Wikidata
Miembro de Academia Mexicana de Ciencias Ver y modificar los datos en Wikidata
[editar datos en Wikidata]

Sergio Rajsbaum Gorodezky (Ciudad de México, 3 de marzo de 1962) es un informático mexicano, que trabaja en el campo de la informática teórica, específicamente la computación concurrente y distribuida. Es profesor del Instituto de Matemáticas de la Universidad Nacional Autónoma de México, donde ha sido miembro de la facultad desde 1991.[1]​[2]​

Biografía[editar]

Nació en 1962 en la Ciudad de México, dentro de una familia judía. Se educó en la Facultad de Ingeniería de la UNAM, obteniendo una licenciatura en ingeniería informática en 1985.[1]​[2]​

Obtuvo su doctorado en el Instituto Tecnológico de Israel (Technion) de Israel en 1991, con la tesis Sincronización en redes distribuidas escrita bajo la dirección de Shimon Even. Su tesis introdujo el problema del unísono.[1]​[3]​[2]​

Realizó estudios postdoctorales de 1993 a 1995 en el Instituto de Tecnología de Massachusetts con Nancy Lynch.[1]​ La investigación resultó en contribuciones a tres temas. Un método para calcular la precisión de sincronización de reloj alcanzable en función de los límites de deriva de reloj individuales y de comunicación de una red determinada. Una simulación para traducciones directas de algoritmos y resultados de imposibilidad de un modelo con cierta resiliencia a un modelo con una resiliencia diferente.[4]​ El estudio de la conexión profunda entre la computación distribuida y la topología algebraica,[5]​ un ejemplo de la interacción entre las matemáticas y la computación.[6]​[2]​

La colaboración que comenzó en 1994 con Maurice Herlihy fue el comienzo de un proyecto de investigación que ha durado más de 30 años y se resume en el libro "Computación distribuida mediante topología combinatoria", que escribieron junto con el matemático Dmitry Feichtner-Kozlov. La perspectiva topológica ha ido más allá de la computación distribuida[7]​ y ha llevado al trabajo en topología combinatoria[8]​ y topología dirigida,[9]​ y conexiones con la lógica, la verificación en tiempo de ejecución y la teoría de la elección social.[2]​

Fue investigador visitante del Institut de recherche en informatique fondamentale (IRIF) entre 2022 y 2023.[3]​

Reconocimientos[editar]

Con sus compañeros de trabajo, Rajsbaum recibió los Best Paper Awards en las siguientes conferencias científicas. DISC (2011) por su artículo "Locality and Checkability in Wait-Free computing" y SSS (2019) por su artículo "Synchronous t-Resilient Consensus in Arbitrary Graphs".[1]​

Su trabajo "Nuevos límites de topología combinatoria para cambiar el nombre: el límite superior" con su estudiante de doctorado Armando Castañeda fue reconocido en ACM Notable Computing Books and Articles de 2012 y recibió el Best Student Paper Award en PODC (2008).[1]​

Su libro "Computación distribuida mediante topología combinatoria" fue seleccionado como un libro notable en la lista Best of Computing 2013 de la Association for Computing Machinery.[10]​

Rajsbaum recibió el Premio Nacional de Computación 2022 de la Academia Mexicana de Computación.[2]​ Es miembro de la Academia Mexicana de Ciencias.[11]​

Obra seleccionada[editar]

Trabajos de investigación[editar]

  • Rajsbaum, Sergio; Even, Shimon (1990). Unison in Distributed Networks. Sequences, Combinatorica, Compression, Security, and Transmission, R.M. Capocelli. Springer-Verlag. pp. 479-487. doi:10.1007/978-1-4612-3352-7_38. 
  • Rajsbaum, Sergio; Even, Shimon (1995). «Unison, canon, and sluggish clocks in networks controlled by a synchronizer Math». Systems Theory (Springer-Verlag) 28: 421-435. doi:10.1007/BF01185865. 
  • Patt-Shamir, Boaz; Rajsbaum, Sergio (1994). A theory of clock synchronization (extended abstract). ACM STOC. pp. 810-819. doi:10.1145/195058.195466. 
  • Borowsky, Elizabeth; Gafni, Eli; Lynch, Nancy A.; Rajsbaum, Sergio (2001). The BG distributed simulation algorithm. Distributed Comput. 14(3). pp. 127-146. doi:10.1007/PL00008933. 
  • Herlihy, Maurice; Rajsbaum, Sergio (1997). The Decidability of Distributed Decision Tasks (Extended Abstract). STOC. pp. 589-598. doi:10.1145/258533.258652. 
  • Castañeda, Armando; Rajsbaum, Sergio (2012). New combinatorial topology bounds for renaming: the upper bound 59. New York, USA: Journal of the ACM. pp. 1-49. doi:10.1145/2108242.2108245. 
  • Castañeda, Armando; Fraigniaud, Pierre; Paz, Ami; Rajsbaum, Sergio; Roy, Matthieu; Travers, Corentin (2019). Synchronous t-Resilient Consensus in Arbitrary Graphs. SSS. pp. 53-68. 
  • Fraigniaud, Pierre; Rajsbaum, Sergio; Travers, Corentin (2011). Locality and Checkability in Wait-Free Computing. DISC. pp. 333-347. doi:10.1007/978-3-642-24100-0\_34. 
  • Bonakdarpour, Borzoo; Fraigniaud, Pierre; Rajsbaum, Sergio; Rosenblueth, David A.; Travers, Corentin (2022). Decentralized Asynchronous Crash-resilient Runtime Verification. J. ACM 69(5): 34. pp. 1-34. doi:10.1007/978-3-642-24100-0\_34. 
  • Goubault, Éric; Ledent, Jérémy; Rajsbaum, Sergio (2021). A simplicial complex model for dynamic epistemic logic to study distributed task computability. Inf. Comput. 278: 104597. doi:10.1016/j.ic.2020.104597. 
  • Rajsbaum, Sergio; Raventós-Pujol, Armajac (2022). A Distributed Combinatorial Topology Approach to Arrow's Impossibility Theorem. ACM PODC. pp. 471-481. doi:10.1145/3519270.3538433. 

Libros[editar]

Referencias[editar]

  1. ↑ a b c d e f «Sergio Rajsbaum's Home Page». www.matem.unam.mx. Consultado el 19 de mayo de 2023. 
  2. ↑ a b c d e f «Sergio Rajsbaum, Premio Nacional de Computación 2022». Universidad Nacional Autónoma de México. 31 de agosto de 2022. Consultado el 13 de julio de 2023. 
  3. ↑ a b «Interview with Sergio Rajsbaum, one-year visitor at IRIF». 
  4. ↑ «BG Distributed Simulation Algorithm». In: Kao, MY. (eds). 2011. 
  5. ↑ «Topology Approach in Distributed Computing». In: Kao, MY. (eds). 2016. 
  6. ↑ Wigderson, Avi (2019). «Mathematics and Computation». Princeton University Press. ISBN 9780691189130. 
  7. ↑ «Distributed Network Computing through the Lens of Combinatorial Topology». 
  8. ↑ Kozlov, Dmitry (2017). «Structure theory of flip graphs with applications to Weak Symmetry Breaking». J. Appl. Comput. Topol. pp. 1-55. 
  9. ↑ Fajstrup, Lisbeth (2016). «Directed Algebraic Topology and Concurrency». Springer. pp. 1-167. ISBN 978-3-319-15397-1. 
  10. ↑ «Best of Computing 2013». Association for Computing Machinery (en inglés). Consultado el 13 de julio de 2023. 
  11. ↑ «AMC Matemáticas 2023». Academia Mexicana de Ciencias. Consultado el 13 de julio de 2023. 

Enlaces externos[editar]

Obtenido de «https://es.wikipedia.org/w/index.php?title=Sergio_Rajsbaum&oldid=156762670»