EK DOÇ DR DAVID AUSTIN PIERCE’IN ÖZGEÇMIŞI ADI SOYADI

A COMMON ANNOTATION FRAMEWORK DAVID BARGERON ANOOP GUPTA AJ
«CONFESSIÓ DUN EXPRESIDENT» AUTORIA DAVIDE CARNEVALI COL·LABORACIÓ EN
HALLOWEEN BY DAVID N TAYLOR (THE STOREHOUSE CHURCH)

THE SUSTAINABILITY ASSESSMENT MODEL (SAM) DAVID CUTTERIDGE
(TO APPEAR IN FESTSCHRIFT FOR DAVID KAPLAN EDITED BY
1 DAVIDE CAMPARIMILANO NV 2 TERMS AND CONDITIONS FOR


Ek: Doç. Dr. David Austin Pierce’ın Özgeçmişi


ADI SOYADI: David Austin Pierce


DOĞUM YERİ VE TARİHİ: Virginia, ABD, 1965


UYRUĞU: ABD


AKADEMİK DERECELERİ


Doçentlik: Üniversitelerarası Kurul, 29 Şubat 2008

Doktora: Matematik, Maryland Üniversitesi, ABD, 1997

Lisans: St John's College, Santa Fe N.M. ve Annapolis Md., ABD, 1987


DİL YETERLİĞİ


İngilizce: Anadili

Fransızca: ÜDS 97.5

Türkçe: 2011’den beri Türkçe ders veriyor.


ÇALIŞTIĞI KURUMLAR

Doçent

2011—… Matematik Bölümü, Mimar Sinan Güzel Sanatlar Üniversitesi, İstanbul, Türkiye

2010—2011 Matematik Bölümü, Orta Doğu Teknik Üniversitesi, Ankara, Türkiye


Yardımcı Doçent

2000—2010 Matematik Bölümü, Orta Doğu Teknik Üniversitesi, Ankara, Türkiye


Doktora Sonrası Araştırmacı

Bahar 1999—Bahar 2000 McMaster Üniversitesi, Matematik ve İstatistik Bölümü, Kanada

Bahar 1998 Matematiksel Bilimler Araştırma Enstitüsü (MSRI), Berkeley, ABD


Ziyaretçi Yardımcı Doçent

Güz 1997 Illinois Üniversitesi, Urbana-Champaign, Matematik Bölümü, ABD


Öğretim Görevlisi

Güz 1995 Maryland Üniversitesi, Matematik Bölümü, ABD

Araştırma Görevlisi

Güz 1989 - Bahar 1995 Maryland Üniversitesi, Matematik Bölümü, ABD


ARAŞTIRMA KONULARI

Modeller kuramı

Cisimlerin modeller kuramı

Diferansiyel cisimler

Fonksiyon cisimleri

Matematik tarihi ve felsefesi


ÜYELİKLER

Amerikan Matematik Derneği (American Mathematical Society)

Sembolik Mantık Derneği (Association for Symbolic Logic)


YAYINLAR


Doktora Tezi

On the Model Theory of Function Fields, 1997

Danışmanı: Chris Laskowski (Maryland Üniversitesi)


Makaleler


  1. A note on the axioms for differentially closed fields of characteristic zero. With Anand Pillay. Journal of Algebra 204, 108-115 (1998).


  1. Function fields and elementary equivalence. Bull. London Math. Soc. 31 (1999), no. 4, 431--440.


  1. Differential forms in the model theory of differential fields. J. Symbolic Logic 68 (2003), no. 3, 923—945.


  1. Geometric characterizations of existentially closed fields with operators. Illinois J. Math. 48 (2004), no. 4, 1321--1343.


  1. Model-theory of vector-spaces over unspecified fields. Archive for Mathematical Logic 48 (2009), no. 5, 421—436


  1. Induction and recursion. The De Morgan Journal 2, no. 1 (2012), 99—195.


  1. Fields with several commuting derivations. Journal of Symbolic Logic, yayına kabul edildi


  1. Numbers. http://arxiv.org/abs/1104.5311


  1. Chains of theories and companionability. With Özcan Kasal. arXiv:1303.6759 [math.LO]



Başka yazarlardan yapılan atıf sayısı: 28


Eğitim üzerine makaleler


  1. St John's College. De Morgan Journal 2, no. 2 (2012), 63--73.


Ders notları


Türkçe'de


  1. Öklid'in Öğeleri'nin Birinci Kitabı. Özer Öztürk ile çeviri.

  2. Önermeler Mantığı. 44 sayfa.


  1. Kümeler Kuramı. 95 sayfa.


  1. Modeller Kuramına Giriş. 41 sayfa.


İngilizce'de


  1. Foundations of Mathematical Practice. 236 sayfa.

  2. Minimalist Set Theory. 166 sayfa.

  3. Elementary Number Theory. 196 sayfa.

  4. Recursion and Induction: Notes on Mathematical Logic and Model Theory. 109 sayfa.

  5. Groups and Rings. 109 sayfa.

  6. Ultraproducts. 134 sayfa.


KATILDIĞI ULUSLARARASI KONFERANSLAR


Bildirili


1997: AMS meeting, Milwaukee, ABD: "Axioms for differentially closed fields" (çağrılı)


1999: Barcelona Logic Meeting, Barcelona, İspanya: "Model-completion of fields with

several commuting derivations"


2000: Math 2000 meeting, Hamilton, Kanada: "Differential geometry in model theory" (çağrılı)


July 2000: Logic Colloquium 2000, Paris, Fransa: “Model-theoretic differential geometry”


2001: Antalya Cebir Günleri III, Antalya, Türkiye: “Differential forms in model theory”


2001: Joint AMS-SMF meeting, Lyon, Fransa: “Differential forms in model-theory”


2003: Antalya Cebir Günleri V, Antalya, Türkiye: “On the model-theory of Lie-rings”


2003: Logic Colloquium 2003, Helsinki, Finlandiya: “Fields with operators, and Lie-rings”


2004: Logic Colloquium 2004, Torino, İtalya: “Fields of any characteristic with operators”


2005: Antalya Cebir Günleri VII, Antalya, Türkiye: “Differential fields of arbitrary characteristic”


2005: Logic Colloquium 2005, Atina, Yunanistan: “Lie-rings”


2006: Logic Colloquium 2006, Nijmegen, Hollanda: “Vector-spaces over unspecified fields”


2006: MODNET Midterm Conference, Antalya, Türkiye: “Differential fields”


2008: Logic Colloquium 2008, Bern, İsviçre: “Induction and recursion”


2009: Logicum Urbanae Lugduni, Lyon, Fransa: “Interacting rings” (çağrılı)


2009: Connecticut Logic Seminar, ABD: “Fields with several derivations”


2009: Conference in honour of Oleg Belegradek, İstanbul, Türkiye: “Interacting rings” (çağrılı)


2012: 43. İran Matematik Konferansı, Tebriz, İran: “Model-theory of differential fields” (çağrılı)



Bildirisiz


1996: NATO ASI Meeting on Model Theory, Toronto, Kanada

1996: Workshop on Algebraic Model Theory, Toronto, Kanada

1998: Model Theory of Fields, MSRI, Berkeley, ABD

1999: Model Theory and Number Theory Workshop, Urbana, Illinois, ABD

1999: Workshop on Hilbert’s 10th Problem, Ghent, Belçika

2002: Euro-Conference on Model Theory and Applications, Ravello, İtalya

2007: Differential Fields Workshop, Leeds, İngiltere

2007: Panhellenic Logic Symposium, Volos, Yunanistan

2008: Final MODNET meeting, Barcelona, İspanya

2009: Groups and Models: Cherlin Bayramı, İstanbul, Türkiye

2011: Recent Developments in Model Theory, Oléron, Fransa

2012: Algebra, Combinatorics and Model Theory, İstanbul, Türkiye

2012: Model theory of groups (interactions between model theory and geometrical group theory), Centre Internationale de Rencontres Mathematiques, Marseille, Fransa



ULUSAL KONFERANSLAR


Ulusal Matematik Sempozyumu:


2000: “Differential geometry in model theory”


2002: “Theories of fields with operators”


2003: “Existentially closed expansions of fields”



PROJELER


Avrupa Birliği ÇP6 Marie Curie Research Training Network: Model Theory and Applications Network (MODNET), Araştırmacı: Ocak 2005—Aralık 2008


AÇTIĞI YENİ DERSLER


MSGSÜ’de:


MAT113 Öklid Geometrisine Giriş


MAT340 Aksiyomatik Kümeler Kuramı


ODTÜ’de:


Math 736 Basic Model Theory


Math 746 Model Theory II


DİĞER


Hakemlik

Journal of Symbolic Logic

Archive for Mathematical Logic

Annals of Pure and Applied Logic

London Mathematical Society

Logic Journal of the Interest Group in Pure and Applied Logics

Turkish Journal of Mathematics


Değerlendirme


Mathematical Reviews (MathSciNet)


Konferans Düzenleme

Antalya Cebir Günleri, 2003-2012


MODNET ara konferansı (Research training network in model theory), Antalya, Kasım 2006

Groups and Models: Cherlin Bayramı, İstanbul, Haziran 2009


Verdiği Dersler


Lisans: Matematiğin Temelleri, Analitik Geometri, Calculus I-II, Sonlu Matematik, Diferansiyel Denklemler, Lineer Cebir, Analiz I-II, Matematik Tarihi I-II, Kümeler Kuramı, Sayılar Kuramı I-II, Galois Kuramı, Mantık ve Modeller Kuramı, Öklid Geometrisine Giriş, Analizde Seçme Konular.


Lisansüstü: Cebir I-II, Modeller Kuramı I-II, Kümeler Kuramı ve Kontinuum Hipotezi


Yaz Okulu: Türk Matematik Derneği Yaz Okulu, Nesin Matematik Köyü, Şirince, 2008 – 2012


Lisansüstü Öğrenci Danışmalığı:


Yüksek Lisans: İrem Yıldırım “The theory of generic difference fields”, 2003, ODTÜ


Doktora: Özcan Kasal “Model theory of derivation spaces”, 2010, ODTÜ


5

18 Nisan 2013 David A. Pierce


10 SEPTEMBER 2008 SIR DAVID TWEEDIE CHAIRMAN OF THE
10 STEPS TO WRITING CLEAR DOCUMENTS BY DAVID
101075 TUNJA SEPTIEMBRE 29 DE 2020 DOCTOR HECTOR DAVID


Tags: austin pierce’ın, david austin, özgeçmişi, austin, david, soyadi, pierce’in