Johann Makowsky - Johann Makowsky
Johann A. Makowsky | |
|---|---|
 | |
| Doğum | 12 Mart 1948 Macaristan |
| Milliyet | İsviçre |
| gidilen okul | İsviçre Federal Teknoloji Enstitüsü |
| Bilinen | Çalışmalar model teorisi, veritabanı teorisi, mantık programlama, grafik algoritmaları, grafik polinomları |
| Bilimsel kariyer | |
| Alanlar | Matematiksel mantık, Bilgisayar Bilimi |
| Kurumlar | Technion-İsrail Teknoloji Enstitüsü |
| Doktora danışmanı | Ernst Specker, Hans Läuchli |
Johann (János) A. Makowsky (12 Mart 1948'de doğdu Budapeşte ) Macar doğumlu ve vatandaşlığa kabul edilmiş İsviçreli bir matematikçidir. matematiksel mantık ve mantıksal temelleri bilgisayar Bilimi ve kombinatorik. O okudu İsviçre Federal Teknoloji Enstitüsü 1967-73 arası. O bir öğrenciydi Zürih nın-nin E. Specker ve H. Läuchli[1] matematiksel mantıkta, (Diploma in Mathematics and Physics 1971, Dr. math.sc. 1974), B. Eckmann (Topoloji ve Geometri ) ve V. Strassen (Algoritmalar) ve içinde Varşova nın-nin A. Mostowski ve W. Marek, 1972'yi değişim öğrencisi olarak geçirdiği yer. Makowsky, Varşova'daki (Polonya) Banach Center'da misafir pozisyonlarında bulundu. Stanford Üniversitesi (AMERİKA BİRLEŞİK DEVLETLERİ), Simon Fraser Universitesi (Kanada), Floransa Üniversitesi (İtalya), MIT (AMERİKA BİRLEŞİK DEVLETLERİ), Lozan Üniversitesi ve ETH Zürih (İsviçre). Düzenli pozisyonlarda bulundu Free University of Berlin ve Technion - İsrail Teknoloji Enstitüsü (Hayfa, İsrail) tam bir profesör olduğu yer.[2]
Çeşitli katkıları arasında belirtmeye değer:
- İçinde model teorisi, iki açık sorunun çözümü kategoriklik teorisi ve çeşitli mantıklarla yaptığı çalışma interpolasyon ve kompaktlık özellikler (kısmen ile S. Shelah ve J. Stavi).
- İçinde veritabanı teorisi sonuç probleminin ilk kararsızlık sonucu veritabanı bağımlılıkları (ile A. Chandra ve H. Lewis ), çalışmaları birleştiren Varlık-İlişki modeli ve veritabanlarının ilişkisel modeli ( V. Markowitz ) ve çalışmaları Boyce Codd Normal Formu (E.V. Ravve ile).
- İçinde mantık programlama temel çalışmaları Boynuz formülleri ve onların karmaşıklık (kısmen B. Mahr ve A. Itai ile)
- İçinde grafik algoritmaları, birleştirici yaklaşımı ağaç genişliği ve klik genişliği model teorisi yoluyla, genel bir grafik polinomları teorisine ve bunların çeşitli mantıksal formalizmlerde tanımlanmalarına yol açar (kısmen I.Averbouch ile, B. Courcelle, B. Godlin, T. Kotek, U. Rotics ve B. Zilber).
Makowsky, Avrupa Bilgisayar Bilimleri Mantığı Derneği 1992'de başkan yardımcısı (2002-2004) ve başkanı (2004-2009) ve 2014 yılına kadar EACSL'nin yürütme konseyinin üyesiydi.[3] Başkanlığı sırasında, bilgisayar bilimleri mantığında üstün doktora tezleri için EACSL Ackermann Ödülü'nü kurdu. 2008 yılında, 60. doğum gününde Makowsky'ye adanmış bir etkinlik, EACSL'nin yıllık toplantısı ile birlikte konumlandırıldı.[4]
2016'dan beri Technion Bilgisayar Bilimleri Fakültesi'nde fahri profesördür ve yüksek lisans öğrencilerine araştırma, öğretim ve denetleme çalışmalarını sürdürmektedir.
Referanslar
Dış bağlantılar
- Resmi internet sitesi
- Johann A. Makowsky -de DBLP Kaynakça Sunucusu