Cei mai buni informaticieni din lume au fost premiați la Tallinn

Premiul Godel, care onorează publicații remarcabile în informatica teoretică, a fost acordat anul acesta Ryan Williams De la Institutul de Tehnologie din Massachusetts. Williams a fost onorat în 2011 IEEE 26th Annual Conference Paper on Computational Complexity.

Câștigătorul Premiului Godel, Ryan Williams, a spus că a fost complet șocat când a aflat că va primi Premiul Godel în acest an: „Nu mă așteptam să primesc o asemenea recunoaștere pentru munca mea și, cu siguranță, nu am făcut cercetări în speranța de a câștiga premiul. ” . Scopul meu a fost să înțeleg mai bine calculul complex și marile sale probleme, cum ar fi P vs NP. Este norocos să faci o muncă care este luată în serios și dezvoltată în continuare. „Este foarte satisfăcător”.

Premiul Presburger onorează publicațiile tinerilor cercetători. Anul acesta a fost evidențiat Justin Hsu De la Universitatea Cornell și Pravesh Kothari De la Universitatea Princeton.

El a fost distins cu Premiul Alonzo Church 2024 pentru contribuții semnificative la științele logicii și calculului Thomas Erhardde la Universitatea din Paris și Laurent Regnier de la Institutul de Matematică Luminy.

Premiul EATCS recunoaște ani de contribuții extinse și recunoscute pe scară largă la informatica teoretică. Anul acesta legendarul profesor de la University College London a fost onorat Samson AbramskyT.

Cel de-al 51-lea Simpozion internațional de automatizare, limbaje și programare, cel de-al 39-lea Simpozion internațional de logică în informatică și a 9-a Conferință internațională privind structurile formale în calcul și dovezi vor avea loc la Tallinn până pe 13 iulie. Conferințele sunt organizate de profesorii IT TalTech Pawel Sobocinski și Niccolò Veltri.