sdumbrava.md

---
layout: person

title: Stefania Dumbrava
fullname: M.Sc. Stefania Dumbrava
pic: public/images/sdumbrava.jpeg

role: master-student
start_date: 2010-09
end_date: 2012-09

affiliation: Université Paris-Sud XI
---

### Description
As of October 1st 2012, I am a PhD student at Université Paris-Sud XI, working in the Toccata INRIA-LRI group, under the supervision of Véronique Benzaken and Évelyne Contejean, on the certification of data-centric systems.

### Research Focus
Foundations of mathematics (category theory, type theory, logic), automated reasoning (formalization and computer-aided formal verification of mathematics).

### Thesis Title
Towards a Type Theory with Reflection