Lecturers
July 28 th – August 1 st , 2025
Every day from 9 am to 7 pm
Laboratorio de computadoras 111,
Facultad de Ingeniería,
Ciudad de la Investigación,
Universidad de Costa Rica

Ariana Musello
Ariana Musello is an Electronic Engineer with a minor in Computer Science Engineering from Universidad San Francisco de Quito (USFQ), Ecuador. After graduating Summa Cum Laude in 2021 as Valedictorian, she began her career at Synopsys, Chile, as a Test & Validation Engineer in the Design Technology Group. She specializes in automation through creative scripting, infrastructure development to optimize processes, and testing of Synopsys’ EDA tools, with a deep understanding of the integrated circuit design flow. She previously worked as a Research Assistant at USFQ’s Instituto de Micro y Nanoelectrónica, focusing on spintronic devices, neural networks and circuit design with novel topologies, publishing five papers and participating in the design of Ecuador´s first VLSI microchip. She was also Chair of USF´s 2021 IEEE Student Branch and USFQ’s 2020 Women in Engineering Affinity Group. Ariana has a keen interest in artificial intelligence, computer architecture, and science communication, with a focus on exploring interdisciplinary approaches to the fields of electronics and programming. She is passionate about learning and teaching and, is committed to strengthening the presence of women in STEM.

Juan Romero
Juan Romero is an Electronic Engineer from the Industrial University of Santander-UIS (Bucaramanga, Colombia) with a master´s degree in electronic engineering from the same educational institution. Juan started working as a professor, and then jumped to work with Synopsys to be part of the Customer Success Group (CSG) around +2 years ago. He is the Verification Team Lead at CCSG, with background RTL, SoC network communication and functional verification.
At Synopsys, Juan has been involved in helping the client when they have a problem related to the VCS and Verdi tools, both tools used during the functional verification process. The tasks he commonly faces are, providing information about the tools when required, ensuring that the problems that the client detects related to VCS and Verdi are resolved, helping during the process of migrating the design to a new version of the tool, and improving the performance at runtime and build time in the verification flow stage.

José Martínez
José Martínez is an Electrical Engineer with mention in Electronics and Telecommunications, graduated from Universidad de Costa Rica. He holds a master’s degree in Management and Human Resources. José started working at Intel Costa Rica in 2014 where he held different roles such as Structural Designer, focusing on thermal analysis, Product Content Validation, centered in Array MBIST DFT, including the pre-silicon and post-silicon verification, repair methodology for redundant SRAMs, NPI (new product introduction), functional content writer for coverage increase, as well as OSNH (Operative System No-Harm) Engineer, in which he was directly involved in platform validation on different soft/hard reset states, performance, OS and uCode scalability, as well as part of the chip security reactive team. Since 2022 he works at Synopsys Chile. Currently, José is part of the CCSG team working towards PPA (power, performance, area) push; improving customers QoR results in a scalable and reproducible methodology.
