Claudionor Coelho is focused on bringing strong and innovative formal verification technology to Jasper’s products and to ensuring the high-quality of Jasper’s tools. Claudionor has several years of experience in EDA tool development. Before joining Jasper Design-Automation, Claudionor has worked in several companies in the US, both in technical and in upper management positions, including Integrated Information Technology (NASDAQ: EGHT), performing the formal verification of a pipelined high-performance processor, and in Verplex Systems (NASDAQ: CDNS), where he directed the BlackTie™ team and was responsible for the development of OVL. He was also a founder of several successful startups, and he was a counselor for FirCapital Partners in startup strategy and technology. Claudionor obtained his BSEE (summa cum laude) and MSCS from the Federal University of Minas Gerais in Belo Horizonte, Brazil, his PhD-EE/CS from Stanford University, and his MBA from IBMEC/MG. Dr. Coelho has written award-winning papers and books, and was a contributing author to Advanced Formal Verification from Kluwer Academic Publishers. He was an Associate Professor at the Computer Science Department at the Federal University of Minas Gerais, Brazil.
