Philcomp Group
Principal Investigator
Enrique F. SOTO-ASTORGA DE RIQUER (General Coordinator, P.I.)
Affiliation: School of Sciences and Institute of Biology, UNAM
Email: astorga@philcomp.org
Enrique (Henry) works at the intersection of philosophy of science and theoretical biology, with a focus on the ontology and metaphysics of computing, anticipatory systems theory, and relational science, studying the roles of uncomputability in life and mind. His research engages autopoiesis, (M,R)-systems, and the limits of the machine metaphor, while also examining technopolitics and accelerationism as frameworks for understanding contemporary (degenerative) transformations in computation and cognition. He is the founder of this Research Group. He is also a member of the Association for Computing Machinery, the Mexican Philosophical Association, and the Epigenetics, Anticipation and Computation Consortium, successors of the famed ‘Santiago Group’ (Chile).
He is currently employed by the National Autonomous University of Mexico as professor for the Department of Mathematics and the Undegraduate Program on Computer Science of the School of Sciences of said university. He is also member of the Evolutionary Theory and History of Science Lab, led by Francisco Vergara-Silva, of the Institute of Biology, and of the 4E Cognition and Cognitive Technologies Group, led by Melina Gastelum-Vargas, of the School of Philosophy and Literature, both at UNAM.
Learn more
Internal Researchers
Lucía AUMANN-ASO (Outreach Coordinator)
Affiliation: DAUIC, IBERO
Email: lucia.aumann@philcomp.org
Lucía Aumann is a researcher in critical philosophy at The New Centre (USA, 2022–2024) and an architect trained at Universidad Iberoamericana (Mexico City, 2011–2017). She develops her practice through experimental processes in which her artistic and architectural exploration converges with philosophical inquiry and biological studies grounded in self-organizing systems. Through graphic exploration, writing, and material experimentation (currently pneumatic) she analyzes morphological processes that may operate beyond the range of human attention and perception, approaching form as the dynamic expression of change.
She is a faculty member in the Department of Architecture, Urbanism, and Civil Engineering at Universidad Iberoamericana, where she co-directs the studio Moduladores procesales | expresiones espaciales as an extension of her professional practice.
Leonardo A. CASTRO-SÁNCHEZ (Internal Coordinator & Legal Expert)
Affiliation: School of Law, UNAM
Email: nemattzzi@philcomp.org
B.A. in Philosophy from the Honorable School of Philosophy and Literature. MA in Law at the Honorable Faculty of Law. Undergraduate student in Mathematics at the Honorable School of Sciences. Member of the Philosophy of Law Research Group. Illustrator and painter.
Sergio MEJÍA-CABALLERO (Comptroller)
Affiliation: School of Sciences, UNAM
Email: sergio@philcomp.org
Sergio studied under the Computer Science program at the Schoolof Sciences, UNAM, and was an organizer of the student drawing club since 2022. He participated in the first Student Colloquium on the Philosophy of Computing with an essay on mimesis in A.I., as well as in the first Symposium on the Philosophy of Computing. He has presented talks such as Artificial Aesthetics: Is Creativity Computable? in 2023, Artificial Content: The Key to Discussing the Implications of AI in 2024, and took part in the forum for the 2025–2030 National Development Plan.
Laura I. RODRÍGUEZ-DIMAYUGA (Socials Manager)
Affiliation: School of Sciences, UNAM
Email: laudima@philcomp.org
Laura Itzel Rodríguez Dimayuga is a Computer Science graduate at UNAM and a former national mathematics Olympian with more than 10 medals and pre-selection for the IMO and EGMO. Winner of the 2023 national ICPC, she has represented Mexico at the world programming championship. Her research intersects theoretical computer science with a focus on explainable AI as a key field for understanding the limits of interpretation, semantics, and meaning-making in artificial intelligence models. She is the founder of Doors, a community that fosters the creation of multidisciplinary groups where computing, art, science, and technology converge, and is a member of the Philosophy of Computing Group founding members.
Alejandro A. RODRÍGUEZ-SÁNCHEZ (Comms. Coordinator & Brand Manager)
Affiliation: School of Sciences, UNAM
Email: ahexo@philcomp.org
Alejandro Axel studied Computer Science at the Schoolof Sciences, UNAM, specializing in Software Engineering, Artificial Intelligence, and Digital Signal Processing oriented toward language and music. He is a member of this group and of the Permanent Seminar on History and Music in Mexico (UACM). Axel examines the emergence of computation in the conception of embodiment, communication, aesthetic practice, and the so-called vocal arts, working within a framework supported—but not limited—by the Philosophy and Ethics of Information.
Miguel A. ANDRADE-VELÁZQUEZ
Affiliation: School of Sciences, UNAM
Email: m.andrav@philcomp.org
Miguel Ángel Andrade is a mathematician trained at the National Autonomous University of Mexico. His main academic interests include cryptography, secure computation, and their intersections with epistemology and the implications these have for theories of mind. Professionally, he is a data analyst and has worked at major companies such as Deloitte and SAP. In his free time, he enjoys reading, film, and climbing.
Sara BARRIOS-RANGEL
Affiliation: DCSH / UAM-Cuajimalpa
Email: sara.rangel@philcomp.org
She holds a Bachelor’s degree in Communication Sciences from the Universidad Autónoma Metropolitana, where she received the University Merit Medal. She completed a diploma in Applied Artificial Intelligence for Marketing and Digital Audiovisual Communication at Universidad Anáhuac, along with several specialized courses in AI.
She currently teaches the workshop “Artificial Intelligence Tools Applied to Audiovisual Communication” at UAM Cuajimalpa, where she also works as art director and photography assistant for the documentary UAM Cuajimalpa: The History of a Public University in the Western Area of Mexico City. She is also a distance-learning Psychology undergraduate student at FES Iztacala, UNAM.
Miguel A. GUEVARA-CASTRO
Affiliation: School of Sciences, UNAM
Email: miguelgc@philcomp.org
TBD
Alejandro J. SOLARES-ROJAS
Affiliation: ICC, University of Buenos Aires
Email: ajsolaresrojas@philcomp.org
Alejandro is a postdoctoral researcher at the Institute of Computer Science (UBA/CONICET). His interests are in Knowledge Representation and Reasoning, Applied Logic, and Proof Theory. In particular, he currently works on designing logical models of bounded rationality, and efficient-explicative proof systems.
He received his PhD in Philosophy from the University of Milan (UniMi) in 2022. Previously, he completed both his MA and BA in Philosophy at the National Autonomous University of Mexico (UNAM). Alejandro is a member of the Philosophy of Computing Research Group (UNAM), the Logic-Uncertainty-Computation-Information Laboratory (UniMi), the BA Logic Group (UBA), and Lógica M∃x∀ (UNAM). He has also visited the Department of Information Systems at the University of Haifa, and the Center for Logic, Epistemology, and the History of Science at the University of Campinas.
Mateo TORRES-RUIZ
Affiliation: University College London
Email: mateo@philcomp.org
Doctoral candidate in the Logic Group at University College London. He previously studied Mathematics and Computer Science at UNAM’s Faculty of Sciences and Faculty of Engineering, respectively.
Research areas include: Monoidal theories; Diagrammatic reasoning through symmetric monoidal categories, with a special focus on synthetic probability (i.e., Markov categories); Logic.
Visiting Researchers
Jorge A. ESPINOSA-LÓPEZ
Affiliation: School of Philosophy and Literature, UNAM
Email: jalejandroespinosa@filos.unam.mx
TBD
Demian A. MONTERRUBIO-ACOSTA
Affiliation: School of Sciences, UNAM
Email: dem@ciencias.unam.mx
Demian A. Monterrubio Acosta is a Master’s student in Computer Science and Engineering at UNAM, he holds a bachelor’s degree in computer science at Science Faculty, UNAM. He has worked in experimental rocketry as a part of the team Propulsion UNAM, developing software for various rocket systems and being the team leader. Demian has experience as a teacher giving short courses on computer networks and Linux introduction, as well as working as a teacher assistant on Programming Languages and Computer Architecture courses. His academic interests focus on low level programming, computer complexity, theory of computing, quantum computing and philosophy.
Juan Pablo QUINTANA-GONZÁLEZ
Affiliation: School of Philosophy and Literature, UNAM
Email: jp.quintana@comunidad.unam.mx
Graduate in Philosophy. Holds a Diploma in Digital Humanities, developing the project “La otredad en Luis Villoro: un estudio desde las Humanidades Digitales” as part of the requirements to earn the B.A. in Philosophy. Participated in the UNAM research project “La india en el imaginario cultural hispanoamericano: historia y representaciones” Completed social service at the Multimedia Center of the Centro Nacional de las Artes (CNA), a space at the intersection of art and technology. Research interests include the philosophy of technology, Mesoamerican technology, game studies, digital humanities, and philosophy in social media.
J. Francisco ORTIZ-MORENO
Affiliation: Institute of Philosophical Research, UNAM
Email: f.ortiz@filosoficas.unam.mx
I work on epistemic opacity in artificial intelligence, examining how the structure of machine learning systems challenges traditional accounts of explanation and justification. I am a PhD student in Philosophy of Science at UNAM and an associate student at the Institute for Philosophical Research. I hold a Master’s degree in Philosophy of Science with a specialization in Cognitive Sciences from UNAM, and a Bachelor’s degree in Philosophy from UASLP. More broadly, my interests include epistemology, logic, and the philosophy of technology and computation. I have presented my work at national and international venues, including the ACM Conference on Equity and Access in Algorithms, Mechanism, and Optimization, and the 2nd International Conference on the Ethics of Artificial Intelligence.
Visiting Researchers (students)
L. Edgar FLORES-AYALA
Affiliation: School of Sciences, UNAM
Email: luisedgarflores@ciencias.unam.mx
Bachelor’s student in Computer Science at the Faculty of Sciences, UNAM. Interested in the theoretical foundations of computation, including type theory, category theory, logic, formal semantics, formal languages, algorithms, and computational complexity. Has worked with heuristics for optimizing NP-hard problems. Also interested in interdisciplinary approaches such as anticipatory systems theory and relational science, as well as the philosophical study of computation from a formal and theoretical perspective.
Santiago GONZÁLEZ-TAMARIZ
Affiliation: School of Sciences, UNAM
Email: santi24@ciencias.unam.mx
He is an undergraduate student in Computer Science at the Faculty of Sciences, National Autonomous University of Mexico (UNAM), and is part of the research group in Philosophy of Computing. He has presented his research on artificial intelligence and music at the first Student Colloquium on the Philosophy of Computing.
He is also the Avionics Lead of Propulsión UNAM, the experimental rocketry team at UNAM, and is currently completing his social service at the Microwave Photonics Laboratory at the Institute for Applied Sciences and Technology (ICAT), UNAM.
Some of his interests include computer science, semiconductors, philosophy, the computability of music, and multidisciplinary projects.
Maximiliano ONOFRE-MARTÍNEZ
Affiliation: School of Sciences, UNAM
Email: maxonomar@ciencias.unam.mx
I am Maximiliano, a Computer Science graduate from the Faculty of Sciences at UNAM. My academic interests focus on the foundations of mathematics, type theory, and formal verification.
Currently, I am developing my thesis under the supervision of Dr. Lourdes González Huesca, researching transitional proofs to bridge informal mathematical proofs with their mechanical formalization in Lean. Independently, I have contributed to the CSLib library, addressing topics such as the formalization of linear logic.
Academically, I serve as a Teaching Assistant at UNAM, collaborating in the instruction of fundamental courses like Discrete Structures and, soon, advanced subjects like Programming Languages II.
J. Emilio BAZÁN-SÁNCHEZ
Affiliation: School of Science, UNAM / National Polytechnic Institute
Advisorial Board
Francisco VERGARA-SILVA
Affiliation: Institute of Biology, UNAM
Email: fvs@ib.unam.mx
Research focus: TBD
Lourdes del Carmen GONZÁLEZ-HUESCA
Affiliation: School of Sciences, UNAM
Email: luglzhuesca@ciencias.unam.mx
Research focus: TBD
Karla RAMÍREZ-PULIDO
Affiliation: School of Sciences, UNAM
Email: karla@ciencias.unam.mx
Research focus: TBD