Formal Verification: Let’s Chat (1:1 Call)

Formal verification can be a bit of a mountain to climb, and I’ve always found that a quick chat with someone in the field can save hours of staring at a screen.

I do this completely outside of my day job simply because I genuinely enjoy the field and want to help build up the FV community. My background is a blend of research and real-world execution: I have a PhD, 2 patents, and 2 journal papers, but I’ve spent the last 5 years in the industry at Intel and Qualcomm figuring out how to make formal actually work for complex hardware designs under tight deadlines.

If you are a student or a beginner breaking into hardware formal verification, I’m always happy to hop on a quick informal call to share some insights and point you in the right direction.

A few resources to get you started:

• My YouTube Channel: I share a lot of practical tutorials here for free. Honestly, feel free to just binge-watch my mistakes so you don’t have to repeat them in your own designs.
• My Research: If you are curious about the academic side, you can check out my papers to see how I apply formal methods to actual hardware design challenges.

Note: I host my booking link on Topmate just to keep my calendar organized around my work schedule. Please don't let any platform costs hold you back—if you're a student or working at an early-stage startup, just drop me a message directly on LinkedIn and I will gladly send over a code to bypass it so we can chat.