Usted está aquí: Inicio / Comunidad / Armando Castañeda

Armando Castañeda (Investigador)

Armando Castañeda

Sede: C.U.
Teléfono de oficina: 562-24781
Cubículo: 318

Intereses de investigación:

68-xx Ciencias de la computación

Biografía:

Armando Castañeda obtuvo el grado de Ingeniero en Sistemas Computacionales del Instituto Politécnico Nacional (IPN) en 2002, y los grados de Maestro y Doctor en Ciencias de la Computación de la Universidad Nacional Autónoma de México (UNAM) en 2007 y 2010 respectivamente. Entre 2011 y 2014, realizó estancias posdoctorales en el Institut National de Recherche en Informatique et en Automatique (INRIA) y en el Instituto Tecnológico Israelí (Technion). Desde 2014, Armando es investigador de tiempo completo del Instituto de Matemáticas de la UNAM.

 

 Líneas de investigación:

  • Teoría de la computación
  • Combinatoria
  • Teoría del cómputo concurrente y distribuido

 

Algunos de mis artículos:
  • K-set agreement bounds in round-based models through combinatorial topology, Shimi Adam y Castañeda Armando, PODC'20: ACM Symposium on Principles of Distributed Computing, pp. 395--404, 2020, ACM.
  • Modular Machine-Checked Proofs of Concurrent Algorithms Built from Tasks, Castañeda Armando, Hurault Aurélie, Quéinnec Philippe y Roy Matthieu, Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), 2019.
  • Fully Low Memory Self-Healing Trees with Compact Routing, Castañeda Armando, Lefevre Jonas y Trehan Amitabh, Proceedings of the 21st International Conference on Distributed Computing and Networking , pp. 1--10, 2020, ACM.
  • A Topological Perspective on Distributed Network Algorithms. , Castañeda Armando, Fraigniaud Pierre, Paz Ami, Rajsbaum Sergio, Roy Matthieu y Travers Corentin, Proceedings of the International Colloquium on Structural Information and Communication Complexity (SIROCCO) 2019, 2019.
  • Bounds on the Step and Namespace Complexity of Renaming, Attiya Hagit, Castañeda Armando, Herlihy Maurice y Paz Ami, SIAM Journal on Computing, 2019.
  • Generalized symmetry breaking tasks and nondeterminism in concurrent objects, Castañeda, Armando, Imbs, Damien, Rajsbaum, Sergio y Raynal, Michel, SIAM Journal on Computing, Vol. 45, Num. 2, pp. 379--414, 2016.
  • An Equivariance Theorem with Applications to Renaming, Castañeda Armando, Herlihy Maurice y Rajsbaum Sergio, Algorithmica. An International Journal in Computer Science, Vol. 70, Num. 2, pp. 171--194, 2014.
Algunas tesis dirigidas:
  • Zenil Rivas Pablo, Objetos concurrentes de larga vida desde la perspectiva topológica, Maestría, Enero 2020, Posgrado en Ciencia e Ingeniería de la Computación (UNAM - Universidad Nacional Autónoma de México).
  • Piña Avelino Miguel Angel, Fundamentos de Contratos Inteligentes en Cadenas de Bloques, Maestría, Noviembre 2019, Posgrado en Ciencia e Ingeniería de la Computación (UNAM - Universidad Nacional Autónoma de México).
  • Velázquez Cervantes Diego Alejandro, Una relación entre las lógicas modales y el enfoque topológico del cómputo distribuido, Maestría, Noviembre 2019, Posgrado en Ciencia e Ingeniería de la Computación (UNAM - Universidad Nacional Autónoma de México), Codirector: David Rosenblueth.
  • Jimenez Corona Rolando, Estudio de las propiedades de modelos de cómputo distribuidos y aleatorios, Licenciatura, Junio 2018, Facultad de Ciencias (UNAM - Universidad Nacional Autónoma de México).
  • Cruz Gerardo, Algoritmo de flujo de datos para calcular la pareja de puntos más cercanos, Maestría, Agosto 2017, Posgrado en Ciencia e Ingeniería de la Computación (UNAM - Universidad Nacional Autónoma de México), Codirector: Armando Castañeda.
  • Ballinas Armando, Estudio de técnicas para el análisis y diseño de algoritmos de flujos de datos, Maestría, Agosto 2017, Posgrado en Ciencia e Ingeniería de la Computación (UNAM - Universidad Nacional Autónoma de México), Codirector: Armando Castañeda.