Pierre-Yves Strub

Pierre-Yves Strub currently serves as the Lead Formal Verification Researcher at PQShield since August 2023. Simultaneously, Pierre-Yves holds positions as Enseignant and Maître de conférences at École Polytechnique from October 2016. Pierre-Yves previously worked as a Research Scientist at Meta from January 2022 to August 2023, and as a Researcher at IMDEA Software Institute from October 2012 to September 2016. Earlier research roles include positions at the INRIA/Microsoft Joint Center from September 2010 to October 2012 and a post-doctoral position with INRIA - LIAMA - Tsinghua University - FORMES Project from October 2008 to September 2010. Pierre-Yves completed a Ph.D. in Computer Science at École Polytechnique in 2008 and earned a Master's degree in Computer Science from Université Paris Cité in 2005.