Stefania Dumbrava
Master Student
Jacobs University Bremen
s DOT dumbrava AT jacobs-university DOT de
As of March 1st 2008, I have been participating in various projects within the KWARC research group (in inverse chronological order):
- » MMT
- » LATIN
- » panta rhei
- » CS Precourse
My current supervisors are Prof. Michael Kohlhase and Dr. Florian Rabe.
Current Projects
- » MSc Thesis: "Towards a type system with reflection"
Research interests
- » foundations of mathematics (category theory, type theory, logic), automated reasoning (formalization and computer-aided formal verification of mathematics)