Embedded Files
Affiliation: School of Sciences, UNAM
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.
Report abuse