Avner Landver is Co-Founder of VerifAIX, an AI-native semiconductor verification company building a formal trust layer for chip design, co-founded alongside Madhulima Tewari and Kenneth Roe.

Avner holds a Ph.D. in Mathematical Logic from the University of Wisconsin-Madison and built a decades-long career spanning IBM, Cadence Design Systems, Apple, SanDisk, Cisco, and Intel.

As Group Director of Incisive Formal at Cadence, Avner led the Formal Analysis team and grew the Incisive Formal Verification product from inception to market leadership, establishing him as a pioneer in EDA.

Avner has also served as CEO of Karmel Electronic Design Services, bringing over 20 years of formal verification expertise, and has published academic research including co-authoring the ForSpec Temporal Logic specification language.

VerifAIX raised $5M in seed funding co-led by Endiya Partners and Bluehill VC, with its platform already deployed at semiconductor companies tackling real-world verification challenges across complex control logic and protocols.