Ines Santacruz del Valle

Ines Santacruz Del Valle is a Tech Ops Analyst at mattilda. since May 2025, with prior experience as a GKAT Symbolic Decision Procedure Researcher at Boston University, where collaboration involved implementing decision procedures for GKAT systems using functional programming in OCaml. Ines also held the position of Karbank Fellow, focusing on the implications of AI in education, and served as a Peer Mentor, enhancing freshmen's college experiences. A Data Analysis Engineer Intern at JX Medex Shanghai Jiangxin Industrial Co., Ltd., Ines developed an SQL database to improve process efficiency. As a co-founder of DE HOGAR A HOGAR, an online organic jam business, Ines empowered women in Michoacán while managing various business aspects. Ines holds dual Bachelor of Arts degrees in Computer Science and Philosophy from Boston University, with additional studies at the University of Copenhagen.