Pierrick Couderc

Pierrick Couderc is a Senior Software Engineer at Nomadic Labs since November 2020, specializing in the implementation of Umami, a wallet for the Tezos Blockchain, using ReasonML and OCaml, and developing the Smart Rollups solution alongside the first Proof-generating Virtual Machine for running WebAssembly programs. Prior to this role, Pierrick served as an R&D Engineer and PhD Student at OCamlPro from December 2014 to October 2020, where responsibilities included formalizing a typed intermediate language of the OCaml compiler and implementing a typechecker. Earlier experiences include R&D internships at Inria, focused on namespace mechanisms and Web-IDE development for OCaml. Pierrick holds a PhD in Informatique from Université Paris-Saclay and multiple degrees in computer science from Pierre and Marie Curie University and Paris-Sud University.