Pierre-Yves Strub

Lead Formal Verification Researcher at PQShield

About

Links

Org chart

Peers

Matthew Stubbs

Senior Technical Author

Graeme Hickey

VP Engineering

Timo Zijlstra

SCA Analyst

Timeline

  • Lead Formal Verification Researcher

    August, 2023 - present

View in org chart