Victor Dumitrescu

Victor Dumitrescu is a Software Engineer who has worked on various cryptography projects at Nomadic Labs and contributed to the development of the HACL* verified cryptography library. Prior to that, Victor was a Research Engineer at Inria, where Victor focused on working with F*, a functional programming language. Victor also has experience as a Teaching Support Provider at The University of Edinburgh and has interned at companies like Microsoft Research and Metaswitch Networks. Victor holds a MSc (Res) in Pervasive Parallelism and a BSc (Hons) in Artificial Intelligence and Computer Science from The University of Edinburgh.