Welcome!
I am Demirhan Tunc, PhD candidate at the
University of Notre Dame, Department of Mathematics.
I am working
under the supervision of Sergei
Starchenko and my expected graduation date is December 2011.
My
research area is mathematical logic and in particular model theory. I am
currently working on expansions of Presburger Arithmetic.
My previous topics of interest was extensions of Hilbert's Tenth Problem
and definability of types in real closed fields.
You can find information and documents regarding my teaching experiences at the Teaching section of the website.
|
|
|
|