Antonio Caldeira

Antonio Caldeira is an experienced SOC Formal Verification Engineer at Apple since February 2015, with prior significant roles including Sr. AE Manager at Cadence Design Systems following its acquisition of Jasper Design Automation. At Jasper Design Automation, Antonio served as a Sr. Staff Application Engineer, providing technical expertise in formal verification, and collaborated with R&D to drive product improvements. Earlier positions include Quality Assurance Engineer at Jasper, Teaching Assistant at Universidade Federal de Minas Gerais, Software Developer at Open Systems Engineering, and Research Assistant at the same university's Laboratory of Computer Engineering. Antonio holds a Master of Science (M.Sc.) and a Bachelor of Science (B.Sc.) in Computer Science from Universidade Federal de Minas Gerais, as well as a Technician degree in Business Administration and Management from Escola Tecnica de Formacao Gerencial - SEBRAE-MG.