As a Staff Engineer at Qualcomm, I draw on my Ph.D. in formal verification and 7+ years of experience across research and industry to ensure the reliability of cutting-edge CPU designs. My expertise spans formal property verification, connectivity checking, and assertion-based verification. Along the way, I’ve co-authored peer-reviewed journals, contributed to two patents (one granted, one in progress), and presented at international conferences. I’ve also co-founded a start-up, led cross-functional teams, and raised seed funding—experiences that have shaped my perspective on innovation, leadership, and career growth. If you're exploring a career in formal verification or looking to deepen your understanding of the field, I share insights, lessons, and reflections through: 🔍 My newsletter—Join 100+ subscribers for career tips and technical reflections 👉 https://lnkd.in/d2e-nyKR 🧩 My YouTube channel—1k+ subscribers learning about formal verification concepts and career pathways 👉 https://www.youtube.com/@formal_intelligence?sub_confirmation=1 🎯 Want to chat? Book a call if you're seeking guidance on how to break into or grow within the formal verification space.