Yuriy Viktorov is a highly skilled professional with extensive experience in system software and formal verification engineering. At Apple, from May 2020 to August 2022, Yuriy focused on formal verification of memory controller IP and System on Chip fabric components, enhancing productivity and collateral reuse. Following a brief tenure as a System Software Engineer at Google in September 2024, Yuriy served as Formal Verification Lead, overseeing verification for Cloud Tensor Processing Units and driving the development of new methodologies. Prior experience includes various research and engineering roles at Intel Corporation from September 2010 to May 2020, and software development for vessel traffic management systems at Transas from April 2008 to August 2010. Academic credentials include a Master's and a Doctorate in Computer Science from Saint-Petersburg State Polytechnic University, complemented by teaching experience as an assistant professor.
This person is not in the org chart
This person is not in any teams
This person is not in any offices