Anna Slobodova is a Senior Principal Engineer with three decades of experience in developing formal verification tools and methods, particularly for industrial-scale hardware design. They have extensive experience with microprocessor design, including DEC Alpha, Intel Itanium, and x86 architectures. Anna is actively involved in academic forums related to formal verification and serves on several program committees and steering committees, including the Formal Methods in Computer-Aided Design (FMCAD). Their past roles include Technical Lead at Centaur Technology and Intel Corporation, as well as Research Assistant positions at various academic institutions. Anna earned a Ph.D. and MS in Computer Science from Comenius University.
This person is not in the org chart
This person is not in any teams
This person is not in any offices