yann oddos

Yann Oddos is currently a Senior Design Verification Manager at Apple, focusing on formal and random-constrained verification of Intel ICs such as RF-transceivers and Power Management Units. They have extensive experience in the field, previously serving as a Verification Technical Lead at Intel Mobile Communication, where they defined pre-silicon verification methodologies and conducted verification training internationally. Yann's background includes a Ph.D. in Formal Verification of Digital Designs from Université Grenoble Alpes, as well as roles in both research and industry, where they contributed to various high-level projects in satellite and aerospace applications.