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
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ŞTIRMA KONULARI
Modeller kuramı
Cisimlerin modeller kuramı
Diferansiyel cisimler
Fonksiyon cisimleri
Matematik tarihi ve felsefesi
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
A note on the axioms for differentially closed fields of characteristic zero. With Anand Pillay. Journal of Algebra 204, 108-115 (1998).
Function fields and elementary equivalence. Bull. London Math. Soc. 31 (1999), no. 4, 431--440.
Differential forms in the model theory of differential fields. J. Symbolic Logic 68 (2003), no. 3, 923—945.
Geometric characterizations of existentially closed fields with operators. Illinois J. Math. 48 (2004), no. 4, 1321--1343.
Model-theory of vector-spaces over unspecified fields. Archive for Mathematical Logic 48 (2009), no. 5, 421—436
Induction and recursion. The De Morgan Journal 2, no. 1 (2012), 99—195.
Fields with several commuting derivations. Journal of Symbolic Logic, yayına kabul edildi
Numbers. http://arxiv.org/abs/1104.5311
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
St John's College. De Morgan Journal 2, no. 2 (2012), 63--73.
Ders notları
Türkçe'de
Öklid'in Öğeleri'nin Birinci Kitabı. Özer Öztürk ile çeviri.
Önermeler Mantığı. 44 sayfa.
Kümeler Kuramı. 95 sayfa.
Modeller Kuramına Giriş. 41 sayfa.
İngilizce'de
Foundations of Mathematical Practice. 236 sayfa.
Minimalist Set Theory. 166 sayfa.
Elementary Number Theory. 196 sayfa.
Recursion and Induction: Notes on Mathematical Logic and Model Theory. 109 sayfa.
Groups and Rings. 109 sayfa.
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)
MODNET ara konferansı (Research training network in model theory), Antalya, Kasım 2006
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Ü
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