Correo interno
Armando Castañeda (Investigador)
Correo electrónico:
armando.castaneda_null@null_im.unam.mx
Sede:
C.U.
Teléfono de oficina:
55 562-24764
Cubículo:
309
Intereses de investigació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.