Marina Polubelova

Cryptography Engineer

Nomadic Labs


I am a Cryptography Engineer in the Privacy team at Nomadic Labs. Before joining the team, I was a PhD student in the PROSECCO team at INRIA Paris, working under the supervision of Karthikeyan Bhargavan.

The information about my PhD defense is available here. The slides and report can be found here and here.

Also, I am one of the maintainers of the hacl-star project.


  • Software Verification
  • Cryptographic Implementation
  • Dependent Type Systems
  • Functional Programming
  • Static Program Analysis


  • Ph.D. in computer science, 2022

    École Normale Supérieure, Paris

  • M.Sc. in mathematics and computer science, 2017

    Saint Petersburg State University

  • B.Sc. in mathematics and computer science, 2015

    Saint Petersburg State University