Mihalis Yannakakis'in 1975 yılında Atina Ulusal Teknik Üniversitesi'nden Elektrik Mühendisliği diploması alması, hesaplamalı karmaşıklık teorisinde uzun bir kariyerin başlangıcı oldu. 1988'de Atina'da (not: metinde 1953 doğumlu) doğan bilgisayar bilimcisi, daha sonra Princeton Üniversitesi'nde Bilgisayar Bilimleri alanında doktora yapmış ve sonrasında veritabanı teorisi, doğrulama ve algoritma çizge teorisini etkilemiştir.
Karmaşıklıkta Temeller
Yannakakis, Bell Laboratuvarları'nda 1978'de başlayan görev süresiyle endüstriyel araştırmalarda yirmi yıldan fazla zaman geçirdi. 1991'den 2001'e kadar orada Bilgi İşlem İlkeleri Araştırma Departmanı Direktörü olarak görev yaptı. Bu dönemde, Gezgin Satıcı Problemi ve 3SAT gibi NP-zor problemlerin yaklaşımında gözlenen sınırlamalara katı bir açıklama sağlayarak Max-NP ve Max-SNP karmaşıklık sınıflarını tanımlamak için 1988'de Christos Papadimitriou ile işbirliği yaptı. Carsten Lund ile 1993 yılındaki çalışması, çizge renklendirme gibi minimizasyon problemleri için yaklaşık çözümler hesaplamanın doğasında bulunan zorluğu daha da netleştirdi.
Veritabanı Yenilikleri
Veritabanı teorisine katkıları, döngüsel olmayan şemaların incelenmesi yoluyla sorgu işlemeyi optimize etmeye odaklandı. Döngüsel olmayan bağlaçlı sorgular için Yannakakis algoritmasını tanıttı ve bu yapıların polinomsal sürede çözülebileceğini gösterdi. Sorgu optimizasyonunun ötesinde, kilitlenme politikalarını araştırdı ve verilerin hiperçizge yapısı ile işlem tutarlılığı kısıtlamalarını kullanarak kilitlenmeleri önlemek suretiyle veritabanı güvenliğinin iki aşamalı kilitlemenin katı kısıtlamalarının dışında sürdürülebileceğini kanıtladı.
Doğrulama ve Akademik Liderlik
Akademik dünyaya geçiş yapan Yannakakis, 2004 yılında Columbia Üniversitesi'ne katilmadan önce 2002 yılında Stanford Üniversitesi'nde profesörlük yaptı. Halen Percy K. ve Vida L. W. Hudson Bilgisayar Bilimleri Profesörü olarak görev yapmaktadır. Bilgisayar destekli doğrulama alanındaki araştırmaları, doğrusal zamanlı zamansal mantık ve Mesaj Sıralama Çizelgelerini test etmek için algoritmik temeller oluşturdu. Ayrıca Alex Groce ve Doron Peled ile birlikte doğrulama sonuçlarına dayalı olarak sistem modellerini rafine eden bir yöntem olan Uyarlanabilir Model Denetimi'ni geliştirdi.
Profesyonel Tanınırlık
Yannakakis, 1998 ve 2003 yılları arasında SIAM Journal on Computing'in genel yayın yönetmenliğini yürüterek önemli bir editoryal varlık sürdürmüştür. Akademik konumu, Ulusal Bilimler Akademisi, Ulusal Mühendislik Akademisi, Amerikan Sanat ve Bilim Akademisi ve Academia Europaea üyeliklerinde kendini göstermektedir. Ödülleri arasında 2005 Knuth Ödülü ve 2023 John von Neumann Teori Ödülü yer almaktadır.
Hızlı Bilgiler
- Doğum: 1953, Atina, Yunanistan - Doktora: Princeton Üniversitesi, 1979 - Knuth Ödülü: 2005 - John von Neumann Teori Ödülü: 2023 - ACM Üyesi (Fellow): 1998 - Vatandaşlık: Amerika Birleşik Devletleri; Yunanistan - Diller: Modern Yunanca
Okuyucuların sorduğu sorular
### Yannakakis algoritması nedir?
Veritabanı sistemlerinde döngüsel olmayan bağlaçlı sorguları yürütmek için kullanılan ve bunların polinomsal sürede çözülmesine olanak tanıyan bir yöntemdir.
### Yannakakis hangi kurumlarla ilişkilendirilmiştir?
Bell Laboratuvarları, Avaya Laboratuvarları, Stanford Üniversitesi ve Columbia Üniversitesi'nde çalışmıştır.
.jpg)
