EATCS Ödülü tarafından verilen bir ödül olduğunu Teorik Bilgisayar Bilimi Avrupa Birliği kendi parlak bir kariyer onurlandırmak için bir araştırmacı için (EATCS) teorik bilgisayar bilimleri .
EATCS Ödülü, 2000 yılından beri her yıl verilmektedir. Bir araştırmacıyı, bilimsel kariyeri boyunca teorik bilgisayar biliminde kapsamlı ve geniş çapta tanınan çalışmaları için ödüllendirmektedir. Ödül, ICALP konferansı vesilesiyle takdim edildi . 1000 Euro'luk bir tutar eşlik ediyor.
Yıl | Alıcı | Konferans salonu | Ödüllü çalışma |
---|---|---|---|
2021 | Toniann pitassi | Yaptığı katkılarından dolayı karmaşıklık teorisi de dahil olmak üzere, delillerin karmaşıklığı , yeni modellerle, yeni tekniklerin geliştirilmesi ve çeşitli alanlar arasındaki yeni bağlantıların kurulması. Çalışmaları, öğrenme ve bilgisayar optimizasyonu , SAT problemlerinin doğrulanması ve çözülmesi, devre karmaşıklığı ve iletişimin karmaşıklığı ve uygulamaları ile ilgilidir. | |
2020 | Mihalis Yannakakis | Algoritma, karmaşıklık teorisi, kombinatoryal optimizasyon, veritabanları ve doğrulamaya yaptığı çok sayıda ve çeşitli katkılarından dolayı. Özellikle doğrusal optimizasyonun sınırlamaları, max-SNP (bkz. APX (karmaşıklık) ) ve PLS (en) karmaşıklık sınıflarının tanıtımı , PCP teoremi etrafında çalışma ve modellerin doğrulanması üzerine temel çalışma . | |
2019 | Thomas henzinger | ICALP Patras | Reaktif , gerçek zamanlı ve hibrit sistemlerin biçimsel doğrulanması ve sentezi ve biçimsel yöntemlerin biyolojik sistemlere uygulanması. |
2018 | Noam Nisan | ICALP ( Prag ) | Karmaşıklık teorisi ( iletişim karmaşıklığı , öğrenme, paralellik, rastgelelik teorisi ...) ve algoritmik oyun teorisi |
2017 | Eva Tardos | ICALP ( Varşova ) | Güçlü polinom algoritmalar, doğrusal programlama ve algoritma tasarımı , yaklaşım algoritmaları , algoritmik oyun teorisi . |
2016 | Dexter Kozen | ICALP ( Roma ) | Önermeler dinamik mantığının tamlığı, alternatif Turing makinası , modal mantık , Kleene cebir , gerçek cebirsel teorileri karmaşıklığı, Kozen-Landau ayrışma resmi matematik , olasılık semantik. Teorik bilgisayar bilimlerinde temel ders kitaplarının yazarı. |
2015 | Christos Papadimitriou | ICALP ( Kyōto ) | Algoritmalar , karmaşıklık teorisi , algoritmik oyun teorisi , veritabanı teorisi , optimizasyon , robotik . "Christos Papadimitriou, ilham verici bir öğretmen ve harika bir iletişimcinin yetenekleriyle geniş, etkili ve çeşitli bilimsel bulguları birleştiriyor." |
2014 | Gordon plotkin | ICALP ( Kopenhag ) | Yapısal işlemsel anlambilim (SOS), gösterimsel anlambilim , tür kuramı , alan kuramı ve kategorik analiz, daha genel olarak ispat kuramında , doğal dillerin anlambilimi, süreç cebirleri . |
2013 | Martin boyacı | ICALP ( Riga ) | Hesaplamalı geometride uygulamalarla, düşük boyutlu doğrusal programlar için zaman içinde doğrusal algoritmalar . Algoritmaların olasılık analizi. Büyük boyutlu bir dışbükey nesnenin hacmine yaklaşmak için rastgele polinom zaman algoritması. Kısıt tatmin problemlerini saymanın karmaşıklığı . |
2012 | Moshe Vardi | ICALP ( Warwick ) | Mantığın bilgisayar bilimine uygulanması, veritabanı teorisi, sonlu model teorisi, çok ajanlı sistemlerde bilgi modelleme, model doğrulama . Moshe Vardi Bilgi ve Sonlu Model Teorisi ve Uygulamaları Hakkında Akıl Yürütme kitabının ortak yazarıdır . |
2011 | Boris Trakhtenbrot | ICALP ( Zürih ) | Teorik bilgisayar biliminin kurucu babalarından biri, vizyon sahibi, çeşitli yönlerde öncü: karmaşıklık teorisinde , “boşluk teoremi” veya “boşluk teoremi”; içinde örnek teori teoremi Trakhtenbrot . Bir yandan Trakhtenbrot, diğer yandan J. Büchi ve C. Elgot , Büchi-Elgot-Trakhtenbrot teoremi adı verilen bir sonuç olan sonlu otomata ve ikinci dereceden monadik mantık (MSO) arasındaki denkliği bağımsız olarak gösterir . |
2010 | Kurt mehlhorn | ICALP ( Bordo ) | Birkaç kitabın yazarı. Veri yapıları , hesaplamalı geometri , cebir , paralel hesaplama , VLSI teknolojisi ve karmaşıklık teorisi , kombinatoryal optimizasyon ve grafik algoritmalarında temel katkılar , iletişim karmaşıklığı . Stefan Naher ile Oluşturma leda . |
2009 | Gerard Huet | ICALP ( Rodos ) | Tipik Lambda-kalkülüs terimlerinin birleştirilmesi . Türlerin teorisi . Knuth-Bendix'i yeniden yazın ve tamamlayın . Coq geçirmez yardımcısı . |
2008 | Leslie Valiant | ICALP ( Reykjavik ) | #P karmaşıklık sınıfının tanıtımı , Vazirani-Valiant teoremi, makine öğrenimi , özellikle PAC öğrenimi , holografik algoritmalar. Deterministik aşağı itme otomatının aileleri ; dağıtık ve paralel hesaplama . |
2007 | Dana S. Scott | ICALP ( Wrocław ) | Otomata teorisi , programlama dillerinin semantik , modal mantık , topoloji ve kategori teorisi . Christopher Strachey ile yaptığı işbirliği , programlama dillerinin anlambilimine modern yaklaşımların temellerini attı . |
2006 | Mike Paterson | ICALP ( Venedik ) | Algoritma ve karmaşıklık teorisinin tasarımı ve analizi . Dil teorisi , dağıtık algoritmalar, otomata teorisi . Otomatik gruplar üzerine bir kitabın ortak yazarı . Paterson'ın solucanları veya filizleri gibi oyunların mucidi olarak bilinir . |
2005 | Robin milner | ICALP ( Lizbon ) | Hesaplanabilir Fonksiyonlar veya LCF teoremleri için Mantık Kanıtı . Polimorfik tip çıkarımı ve tiplendirilmiş istisna işleme sistemi ile ML programlama dili . Eşzamanlı sistemlerin analizi için İletişim Sistemleri Hesabı (CCS) . pi-kalkülüs ve bisimülasyon . |
2004 | Arto Salomaa | ICALP ( Turku ) | biçimsel diller , otomata teorisi , kelime kombinatorikleri ve kriptografi . O, özellikle Maurice Nivat ve Grzegorz Rozenberg ile birlikte , Avrupa teorik bilgisayar biliminin kurucularından biridir. Çok sayıda kitabın yazarı ve yayıncısı, araştırmanın her seviyesinde başlatıcı ve kolaylaştırıcı. |
2003 | Grzegorz Rozenberg | ICALP ( Eindhoven ) | Teorisi biçimsel diller ve otomata , yeniden yazma grafiklerin, Lindenmayer sistemleri , Petri ağları , iz teorisi . Doğal hesaplamanın ve DNA hesaplamanın geliştiricisi ve müjdecisiydi, ona bugünkü adını verdi ve ana hatlarını çizdi. International Journal on Natural Computing'in kurucusudur . Çok sayıda tezin yazarı ve editörü. |
2002 | Maurice Nivat | ICALP ( Malaga ) | İle Arto Salomaa ve Grzegorz Rozenberg , Avrupa teorik bilgisayar biliminin kurucularından biri. Marcel-Paul Schützenberger anlamında kendisini bilgisayar biliminin standart taşıyıcısı yaptı . Diller ve otomata teorisi, programlama dillerinin anlam bilimi, önemli bir Fransız teorik bilgisayar bilimi okulunun kökenindedir. |
2001 | Corrado Böhm | ICALP ( Girit ) | Bilgisayar bilimcisi ve mantıkçı, "Goto olmadan programlama" yapılandırılmış program teoreminin yazarı . Β-dönüşümü ve η-dönüşümünün karşılaştırmasını içeren Lambda hesabı . CUCH soyut makinesi. Böhm-Berarducci kodlaması. İtalyan teorik bilgisayar bilimi ve fonksiyonel programlama okulunun kurucularından biri. |
2000 | Richard karp | ICALP ( Cenevre ) | NP-tam problemler sınıfı . Sayısız algoritma: Maksimum akış problemi için Edmonds-Karp algoritması ; Bir bağlantı problemi için Hopcroft-Karp algoritması ; Karp-Lipton teoremi karmaşıklığı teoride; Rabin-Karp örüntü arama algoritması . Olasılıksal asallık testi. Teorik bilgisayar biliminin bir direği. |
" EATCS ödül sayfa " ile ilgili, EATCS