Carlos Ivan Castro Marquez

Formado em Engenharia Eletrônica pela Universidade Nacional de Colômbia (2006). Obteve o título de Mestre (2009) e Doutor (2014) em Engenharia Elétrica, na área de Microeletrônica, pela Universidade de São Paulo. Tem experiência em projeto de circuitos integrados digitais, com ênfase em validação através de técnicas de simulação e aplicação de modelos e algoritmos formais. De 2006 até 2014 foi integrante do Grupo de Sistemas Eletrônicos Integrados e Software Aplicado (GSEIS), dentro do Laboratório de Microeletrônica, da Escola Polítécnica, na Universidade de São Paulo. Atualmente é projetista de circuitos integrados na Idea! Sistemas Eletrônicos, em Campinas.