Shahid Ikram

Shahid Ikram is an accomplished formal verification architect at Altera since October 2025, bringing extensive experience from Marvell Technology where roles included Distinguished Engineer and Senior Principal Engineer. With a strong background in multichip and architectural protocol synthesis, modeling, and verification such as CHI-E and QPI, Shahid has expertise in formal modeling and verification utilizing tools like Jasper and VCFormal. Previous roles include Principal Engineer and Senior Verification Engineer at Intel Corporation, contributing to functional coverage methodologies, and a Formal Verification Expert at Compaq Corp, where tools were developed for validating protocols. Shahid's career also encompasses teaching at LUMS and research positions at Syracuse University, alongside a solid academic foundation with a PhD and MS in Computer Engineering from Syracuse University and a B.Sc. in Electrical and Electronics Engineering from UET.