Camilo Rojas

Camilo Rojas is a Staff Applications Engineer at Synopsys Inc, specializing in digital design and verification engineering. They have extensive experience in formal verification for RISC-V-based processors and on-chip bus interfaces, and have worked with various digital IC design flows. Prior to their current role, Camilo served as a researcher at OnChip, focusing on verification methodologies and bus interface designs. They also held a visiting researcher position at TÜBİTAK BİLGEM, where they designed a 32-bit RISC-V processor. Camilo has a Bachelor’s and a Master’s degree in Electronics Engineering from Universidad Industrial de Santander, where they also contributed as a teacher assistant and adjunct professor.