{"id":127,"date":"2018-01-16T12:07:55","date_gmt":"2018-01-16T10:07:55","guid":{"rendered":"http:\/\/math.utu.fi\/asp2\/?page_id=127"},"modified":"2026-02-26T13:29:22","modified_gmt":"2026-02-26T11:29:22","slug":"prize-winners","status":"publish","type":"page","link":"https:\/\/math.utu.fi\/salomaaprize\/prize-winners\/","title":{"rendered":"Prize Winners"},"content":{"rendered":"<ul>\n<li>2026: <strong>Dexter Kozen<\/strong>, Cornell University, U.S.A.<\/li>\n<li>2025: <strong>Georg Zetzsche<\/strong>, Max Planck Institute for Software Systems, Germany<\/li>\n<li>2024: <strong>Miko\u0142aj Boja\u0144czyk<\/strong>, University of Warsaw, Poland<\/li>\n<li>2023: <strong>Moshe Y. Vardi<\/strong>, Rice University, Houston, Texas, U.S.A.<\/li>\n<li>2022: <strong>Juhani Karhum\u00e4ki<\/strong>, University of Turku, Finland<\/li>\n<li>2021: Suspended because of the pandemic<\/li>\n<li><a href=\"http:\/\/math.utu.fi\/salomaaprize\/prize-winners\/2020-joel-ouaknine-and-james-worrell\/\">2020 (given in DLT 2021):<\/a><br \/>\n<strong>Jo\u00ebl Ouaknine<\/strong>, Max Planck Institute for Software Systems, Germany \/ University of Oxford, United Kingdom<br \/>\n<strong>James Worrell<\/strong>, University of Oxford, United Kingdom<\/li>\n<li><a href=\"http:\/\/math.utu.fi\/salomaaprize\/prize-winners\/2019-artur-jez\/\">2019: <strong>Artur Je\u017c<\/strong><\/a>, University of Wroc\u0142aw, Poland<\/li>\n<li><a href=\"http:\/\/math.utu.fi\/salomaaprize\/prize-winners\/2018-jean-eric-pin\/\">2018: <strong>Jean-\u00c9ric Pin<\/strong><\/a>, University Paris-Diderot, Paris, France<\/li>\n<\/ul>\n<div class=\"pvc_clear\"><\/div>\n<p id=\"pvc_stats_127\" class=\"pvc_stats all  \" data-element-id=\"127\" style=\"\"><i class=\"pvc-stats-icon medium\" aria-hidden=\"true\"><svg aria-hidden=\"true\" focusable=\"false\" data-prefix=\"far\" data-icon=\"chart-bar\" role=\"img\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 512 512\" class=\"svg-inline--fa fa-chart-bar fa-w-16 fa-2x\"><path fill=\"currentColor\" d=\"M396.8 352h22.4c6.4 0 12.8-6.4 12.8-12.8V108.8c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v230.4c0 6.4 6.4 12.8 12.8 12.8zm-192 0h22.4c6.4 0 12.8-6.4 12.8-12.8V140.8c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v198.4c0 6.4 6.4 12.8 12.8 12.8zm96 0h22.4c6.4 0 12.8-6.4 12.8-12.8V204.8c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v134.4c0 6.4 6.4 12.8 12.8 12.8zM496 400H48V80c0-8.84-7.16-16-16-16H16C7.16 64 0 71.16 0 80v336c0 17.67 14.33 32 32 32h464c8.84 0 16-7.16 16-16v-16c0-8.84-7.16-16-16-16zm-387.2-48h22.4c6.4 0 12.8-6.4 12.8-12.8v-70.4c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v70.4c0 6.4 6.4 12.8 12.8 12.8z\" class=\"\"><\/path><\/svg><\/i> <img loading=\"lazy\" decoding=\"async\" width=\"16\" height=\"16\" alt=\"Loading\" src=\"https:\/\/math.utu.fi\/salomaaprize\/wp-content\/plugins\/page-views-count\/ajax-loader-2x.gif\" border=0 \/><\/p>\n<div class=\"pvc_clear\"><\/div>\n","protected":false},"excerpt":{"rendered":"<p>2026: Dexter Kozen, Cornell University, U.S.A. 2025: Georg Zetzsche, Max Planck Institute for Software Systems, Germany 2024: Miko\u0142aj Boja\u0144czyk, University of Warsaw, Poland 2023: Moshe Y. Vardi, Rice University, Houston, Texas, U.S.A. 2022: Juhani Karhum\u00e4ki, University of Turku, Finland 2021: Suspended because of the pandemic 2020 (given in DLT 2021): Jo\u00ebl Ouaknine, Max Planck Institute &hellip; <a href=\"https:\/\/math.utu.fi\/salomaaprize\/prize-winners\/\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Prize Winners<\/span><\/a><\/p>\n<div class=\"pvc_clear\"><\/div>\n<p id=\"pvc_stats_127\" class=\"pvc_stats all  \" data-element-id=\"127\" style=\"\"><i class=\"pvc-stats-icon medium\" aria-hidden=\"true\"><svg aria-hidden=\"true\" focusable=\"false\" data-prefix=\"far\" data-icon=\"chart-bar\" role=\"img\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 512 512\" class=\"svg-inline--fa fa-chart-bar fa-w-16 fa-2x\"><path fill=\"currentColor\" d=\"M396.8 352h22.4c6.4 0 12.8-6.4 12.8-12.8V108.8c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v230.4c0 6.4 6.4 12.8 12.8 12.8zm-192 0h22.4c6.4 0 12.8-6.4 12.8-12.8V140.8c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v198.4c0 6.4 6.4 12.8 12.8 12.8zm96 0h22.4c6.4 0 12.8-6.4 12.8-12.8V204.8c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v134.4c0 6.4 6.4 12.8 12.8 12.8zM496 400H48V80c0-8.84-7.16-16-16-16H16C7.16 64 0 71.16 0 80v336c0 17.67 14.33 32 32 32h464c8.84 0 16-7.16 16-16v-16c0-8.84-7.16-16-16-16zm-387.2-48h22.4c6.4 0 12.8-6.4 12.8-12.8v-70.4c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v70.4c0 6.4 6.4 12.8 12.8 12.8z\" class=\"\"><\/path><\/svg><\/i> <img loading=\"lazy\" decoding=\"async\" width=\"16\" height=\"16\" alt=\"Loading\" src=\"https:\/\/math.utu.fi\/salomaaprize\/wp-content\/plugins\/page-views-count\/ajax-loader-2x.gif\" border=0 \/><\/p>\n<div class=\"pvc_clear\"><\/div>\n","protected":false},"author":14,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-127","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/math.utu.fi\/salomaaprize\/wp-json\/wp\/v2\/pages\/127","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/math.utu.fi\/salomaaprize\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/math.utu.fi\/salomaaprize\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/math.utu.fi\/salomaaprize\/wp-json\/wp\/v2\/users\/14"}],"replies":[{"embeddable":true,"href":"https:\/\/math.utu.fi\/salomaaprize\/wp-json\/wp\/v2\/comments?post=127"}],"version-history":[{"count":22,"href":"https:\/\/math.utu.fi\/salomaaprize\/wp-json\/wp\/v2\/pages\/127\/revisions"}],"predecessor-version":[{"id":504,"href":"https:\/\/math.utu.fi\/salomaaprize\/wp-json\/wp\/v2\/pages\/127\/revisions\/504"}],"wp:attachment":[{"href":"https:\/\/math.utu.fi\/salomaaprize\/wp-json\/wp\/v2\/media?parent=127"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}