Matematiksel mantık ve bunun bilgisayar biliminin temellerine uygulanması, Johann A. Makowsky'nin kariyerini tanımlamaktadır. 1948 yılında Macaristan'da doğan ve daha sonra İsviçre vatandaşlığı alan Makowsky, Zürih Federal Enstitüsü'nde (ETH Zurich) sıkı bir akademik eğitim almıştır. Profesyonel yolu uluslararası araştırma ortamlarında şekillenmiş; model teorisi ve çizge algoritmalarından veritabanı karmaşıklığına ve mantıksal programlamaya kadar birçok alanı etkilemiştir.
Akademik Eğitimi
Makowsky, 1967 yılında ETH Zurich'e kaydolmuş ve 1971'de çalışmalarını tamamlamıştır. Ernst Specker ve Hans Läuchli'nin danışmanlığında matematiksel mantık alanında sağlam bir temel geliştirmiştir. Eğitimi İsviçre sınırlarının ötesine taşınmış, 1972 yılını Varşova'da Andrzej Mostowski ve Witek Marek ile çalışarak geçirmiştir. Ayrıca Beno Eckmann'ın topoloji ve geometri derslerinin yanı sıra Volker Strassen'in algoritmika derslerini takip etmiş ve 1974 yılında matematik bilimleri doktorasını (Dr. math.sc.) almıştır.
Araştırma ve Profesyonel Kariyeri
Kariyeri, Stanford Üniversitesi, Simon Fraser Üniversitesi, Floransa Üniversitesi ve Lozan Üniversitesi dahil olmak üzere küresel kurumlarda çok sayıda misafir öğretim üyesi pozisyonunu kapsamaktadır. Berlin Özgür Üniversitesi'nde ve Hayfa'daki Technion – İsrail Teknoloji Enstitüsü'nde tam profesör olarak kalıcı akademik görevlerde bulunmuştur. 2016 yılından bu yana Technion'da fahri profesör (Professor Emeritus) unvanını taşımakta olup, araştırma faaliyetlerini ve lisansüstü öğrenci danışmanlığını sürdürmektedir.
Mantık ve Hesaplamaya Katkıları
Makowsky, model teorisinde, özellikle Saharon Shelah ve Jonathan Stavi ile birlikte kategoriklik teorisi ile enterpolasyon ve tıkızlık (compactness) özellikleri konusunda önemli sonuçlar elde etmiştir. Veritabanı teorisindeki çalışmaları, Ashok Chandra ve Harry Lewis ile birlikte, bağımlılıklarla ilgili sonuç problemleri için ilk karar verilememe sonuçlarını ortaya koymuştur. Ek olarak, varlık-ilişki modellerini ilişkisel modellerle birleştirme çalışmalarına katkıda bulunmuş ve Horn formüllerinin karmaşıklığını incelemiştir.
Çizge Teorisi ve Mesleki Hizmetler
Çizge algoritmaları alanında, ağaç genişliği (tree-width) ve klik genişliği (clique-width) için model-teorik bir yaklaşım geliştirmiştir. Bu araştırma, çizge polinomlarının genel bir teorisine ve mantıksal biçimcilikler içindeki tanımlanabilirliklerine katkıda bulunmuştur. Teknik araştırmalarının ötesinde, 1992 yılında Avrupa Bilgisayar Bilimi Mantığı Derneği'nin (EACSL) kurucu üyelerinden biri olmuştur. 2002-2004 yılları arasında örgütün başkan yardımcılığını, 2004-2009 yılları arasında ise başkanlığını yürütmüş ve bu dönemde Ackermann Ödülü'nü hayata geçirmiştir.
Kısa Bilgiler
- Doğum: 1948, Macaristan - Vatandaşlık: İsviçre - Eğitim: ETH Zurich - Başlıca Alanlar: Matematik, Bilgisayar Bilimleri, Mantık - Akademik Durum: Fahri Profesör, Technion - Mesleki Üyelik: Avrupa Bilgisayar Bilimi Mantığı Derneği
Okuyıcıların Sorduğu Sorular
### Johann Makowsky doktora derecesini nerede aldı?
Matematik bilimleri doktorasını (Dr. math.sc.) 1974 yılında ETH Zurich'ten almıştır.
### Makowsky, EACSL'deki görev süresi boyunca hangi özel ödülü kurmuştur?
Bilgisayar bilimi mantığı alanındaki olağanüstü doktora tezlerini ödüllendiren EACSL Ackermann Ödülü'nü kurmuştur.
### Johann Makowsky hâlâ akademide aktif mi?
Evet, Technion'da fahri profesör olarak aktif kalmaya devam etmekte, ders vermekte ve lisansüstü öğrencilerine danışmanlık yapmaktadır.
