Demirhan Tunc

Demirhan Tunc

MS: Univeristy of Notre Dame - 2007


Advisor:  Starchenko
Research Area:  Logic
Year Started:  2005

For more information see Demirhan Tunc's Personal Homepage.

Research Interests

Demirhan Tunc's current research involves studying certain expansions of Presburger Arithmetic which arise from the study of the real field expanded by small multiplicative groups. His previous work involves Hilbert's Tenth Problem and Extensions, and Definability of Types.

Courses Taught

  • 2007 Summer: Instructor for ”Finite Mathematics”
  • 2008 Spring: Instructor for ”Beginning Logic”
  • 2008 Summer: Instructor for ”Finite Mathematics”
  • 2008 Fall: Instructor for ”Beginning Logic”
  • 2010 Fall:  Instructor for "Calculus I - Math 10550"


Talks Given

  • Expansions of Presburger Arithmetic May 2010, NY Graduate Student Logic Conference.
  • Expansions of Presburger Arithmetic with a predicate for \lfloor\sqrt{2}x\rfloor January 2010, Joint Mathematics Meetings, San Francisco, CA
  • The Marker-Steinhorn Theorem for an Expansion of a Real Closed Field April 2007, 8th Graduate Student Conference in Logic, University of Illinois at Chicago
  • Hilbert's Tenth Problem for M_n{R} March 2007, NY Graduate Student Logic Conference.


Meetings Attended

  • May 2010, New York Graduate Student Logic Conference, CUNY, Manhattan, NY
  • May 2010, 11th Graduate Student Conference in Logic, Madison, WI
  • January 2010, Joint Mathematics Meeting - ASL Winter Meeting, San Francisco, CA
  • November 2009, Midwest Model Theory Meeting, University of Illinois, Urbana, IL
  • July 2009, Logic Colloquium 2009, Sofia, Bulgaria
  • May 2009, ASL Annual Meeting, University of Notre Dame, IN