I'm not here to be liked, I'm here to be remembered.

My dad was my best friend and greatest role model.

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

I’m very confident in who I am and what I do.

There are no permanent leaders in the semiconductor industry, only constant learners.