Skip to content
Snippets Groups Projects
Normal view Permalink
sdumbrava.md 646 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    new
    Michael Kohlhase committed
    1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 
    ---
layout: person
title: Stefania Dumbrava
fullname: Stefania Dumbrava
role: master-student
pic: public/images/sdumbrava.jpeg
start_date: 2010-09
end_date: 2012-09
---
### Research interests:
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

### UPDATE:
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.