Education

• Doctor of Philosophy (Ph.D.) in Computer Science
  Colorado State University, USA. [2024-Present]
  Trustworthy Systems Lab
  Advisor: Ravi Mangal
• Master of Science (M.S.) in Computer Science
  Colorado State University, USA. [2022-2024]
  High-performance computing, PLs, and Formal Methods Lab
  Advisor: Jedidiah McClurg
• Graduate Diploma in Education
  José Simeón Cañas Central American University, SLV. [2019-2020]
• Bachelor of Science (B.S.) in Computer Science.
  José Simeón Cañas Central American University, SLV. [2013-2018]
  Advisor: Guillermo Cortés

Scholarships and Awards

• P. R. Mukherjee Award in Computer Science for Excellence in Research
  College of Natural Sciences, Colorado State University, USA. [2024]
• Fulbright Laspau & IIE Scholarship
  U.S. Department of State, USA. [2021-2024]
• Erasmus+ International Credit Mobility Programme
  Granada University, ESP. [2021-2024]