Home

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.