Avatar

Marina Polubelova

PhD student

INRIA Paris

Biography

I am a PhD student in the PROSECCO team at INRIA Paris, working under the supervision of Karthikeyan Bhargavan.

Interests

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

Education

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

    Saint Petersburg State University

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

    Saint Petersburg State University

Experience

 
 
 
 
 

Research Intern

Microsoft Research Cambridge

Jun 2018 – Sep 2018 United Kingdom
 
 
 
 
 

PhD student

Ecole normale superieure, Paris

Sep 2017 – Present France
 
 
 
 
 

Research Intern

INRIA Paris

Sep 2016 – Nov 2016 France
 
 
 
 
 

Researcher

Programming Languages and Tools lab, JetBrains Research

Jun 2014 – Jul 2017 Russia