Deep Enrich
Pierre Vial
Professeur agrégé de mathématiques
249 followers
Paris, Île-de-France, France
Connect with Pierre Vial to Send Message
Connect
Connect with Pierre Vial to Send Message
ConnectTimeline
About me
Software engineer
Education
École normale supérieure
2001 - 2007MathematicsActivités et associations :Elève fonctionnaire stagiaire, admis par le concours MPI
Experience
Ministère de l'Éducation nationale et de la Jeunesse
Sept 2007 - Jan 2014Professeur agrégé de mathématiques
Université Paris Cité
Sept 2014 - Jan 2017Doctorant-moniteur en informatiquePhd researcher and teacher in computer science (Bachelor)
Inria
Jan 2018 - Sept 2022Post-doctoral researcher
Formal Land
Oct 2022 - Jan 2023Sofware EngineerUsing the Coq Proof Assistant, I contribute to verifying the protocol of the Tezos blockchain.
Licenses & Certifications
- View certificate
Deep Learning Specialization
CourseraMar 2024
Languages
- frFrançais
- anAnglais
- alAllemand
- yiYiddish
Recommendations
Tam vo
Regional Technical Manager @ Sonitrol SecurityGreater Sacramento
Anastasia bayazitova
Project Manager, Resource Manager, Release Manager, Business AnalystRussia
Haley hemmig
Community Partnership Manager at American 1 Credit UnionAdrian, Michigan, United States
Antonio de padua fonseca junior
Supervisor de Produção | SAP ECC MM / PP-PI | Green Belt LSS | Especialista de Processo | Especialis...Sorocaba, São Paulo, Brazil
Lenny markh
Deputy Chief of Staff - Senator Iwen ChuBrooklyn, New York, United States
Jason wilkinson
Helping TUBR to GrowLeeds, England, United Kingdom
Giulia ferroni
Process Expert at GlaxoSmithKline | MSc in Pharmaceutical ChemistryGreater Reggio Emilia Metropolitan Area
Gianluca ugoletti
Operatore in fune IRATA L1. Operatore in ambienti confinati con sospetto di inquinamento. Operaio sp...Greater Modena Metropolitan Area
Judy ling
Guidance Counselor at NYC Department of EducationNew York, New York, United States
Peter arts, a.a.i.
Licensed Florida Insurance ProfessionalDelray Beach, Florida, United States
Brett van rensburg
Digital transformation through Manufacturing Excellence. I help manufacturers to choose digital tech...Claygate, England, United Kingdom
Hari krishna nagineni
Software Engineer II at Deloitte | .NET Full StackNellore, Andhra Pradesh, India
Alvin maharaj
Chief Financial Officer at TGL GroupAuckland, Auckland, New Zealand
Jennifer cary
Senior Business Analyst at SharecareMinneapolis, Minnesota, United States
Gaurav amrutkar
Senior Product Technology Lead at PTC | Windchill PLM | Industry 4.0Pune, Maharashtra, India
Wendall robertson
API 510/ 570 & CWI QA/QCOpelousas, Louisiana, United States
Bruno cunha
Technical Manager & ConsultantLisboa, Lisbon, Portugal
Mélanie héraud
Clinical Research AssociateLevallois-Perret, Île-de-France, France
Adedamola adesina
Internal Control Officer| Auditor| ACA in view l Educationist |Nigeria
Vasilis zachariou, mics
Dry Cargo Shipbroker at Omnia Shipbrokers IncAthens Metropolitan Area
...