{"id":24581,"date":"2025-11-07T10:52:33","date_gmt":"2025-11-07T09:52:33","guid":{"rendered":"https:\/\/saarland-informatics-campus.de\/?post_type=sic_news&#038;p=24581"},"modified":"2025-12-12T11:00:20","modified_gmt":"2025-12-12T10:00:20","slug":"toghrul-karimov-receives-2025-ackermann-award","status":"publish","type":"sic_news","link":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/toghrul-karimov-receives-2025-ackermann-award\/","title":{"rendered":"TOGHRUL KARIMOV RECEIVES 2025 ACKERMANN AWARD"},"content":{"rendered":"<p>Toghrul Karimov, a graduate student in Jo\u00ebl Ouaknine&#8217;s Foundations of Automatic Verification Group, has received the <a href=\"https:\/\/www.eacsl.org\/ackermann-award\/\">2025 Ackermann Award<\/a> for his PhD thesis, \u201c<em>Algorithmic Verification of Linear Dynamical Systems<\/em>.\u201d<\/p>\n<p>The Ackermann Award is an international prize presented annually to the author of an exceptional doctoral dissertation in the field of Computer Science Logic.<\/p>\n<div class=\"gmail_default\">Although\u00a0<span class=\"il\">Toghrul<\/span> is the first MPI-SWS student to receive this award, previous MPI-SWS winners include Amaury Pouly (former a postdoctoral fellow at MPI-SWS, now at CNRS) and Sandra Kiefer (formerly a Research Group Leader at MPI-SWS, now a professor at Oxford).<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Toghrul Karimov, a graduate student in Jo&euml;l Ouaknine&rsquo;s Foundations of Automatic Verification Group, has received the 2025 Ackermann Award for his PhD thesis, &ldquo;Algorithmic Verification of Linear Dynamical Systems.&rdquo; The Ackermann Award is an international prize presented annually to the author of an exceptional doctoral dissertation in the field of Computer Science Logic. Although&nbsp;Toghrul is [&hellip;]<\/p>\n","protected":false},"featured_media":23857,"menu_order":0,"template":"","meta":{"_et_pb_use_builder":"","_et_pb_old_content":"","_et_gb_content_width":""},"sic_news-types":[57],"class_list":["post-24581","sic_news","type-sic_news","status-publish","has-post-thumbnail","hentry","sic_news-types-mpi-sws-en"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>TOGHRUL KARIMOV RECEIVES 2025 ACKERMANN AWARD - Saarland Informatics Campus<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/toghrul-karimov-receives-2025-ackermann-award\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"TOGHRUL KARIMOV RECEIVES 2025 ACKERMANN AWARD - Saarland Informatics Campus\" \/>\n<meta property=\"og:description\" content=\"Toghrul Karimov, a graduate student in Jo&euml;l Ouaknine&rsquo;s Foundations of Automatic Verification Group, has received the 2025 Ackermann Award for his PhD thesis, &ldquo;Algorithmic Verification of Linear Dynamical Systems.&rdquo; The Ackermann Award is an international prize presented annually to the author of an exceptional doctoral dissertation in the field of Computer Science Logic. Although&nbsp;Toghrul is [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/toghrul-karimov-receives-2025-ackermann-award\/\" \/>\n<meta property=\"og:site_name\" content=\"Saarland Informatics Campus\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/sic.informatik.saarland\/\" \/>\n<meta property=\"article:modified_time\" content=\"2025-12-12T10:00:20+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi-sws-black.png\" \/>\n\t<meta property=\"og:image:width\" content=\"2083\" \/>\n\t<meta property=\"og:image:height\" content=\"1137\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/toghrul-karimov-receives-2025-ackermann-award\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/toghrul-karimov-receives-2025-ackermann-award\\\/\",\"name\":\"TOGHRUL KARIMOV RECEIVES 2025 ACKERMANN AWARD - Saarland Informatics Campus\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/toghrul-karimov-receives-2025-ackermann-award\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/toghrul-karimov-receives-2025-ackermann-award\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/mpi-sws-black.png\",\"datePublished\":\"2025-11-07T09:52:33+00:00\",\"dateModified\":\"2025-12-12T10:00:20+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/toghrul-karimov-receives-2025-ackermann-award\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/toghrul-karimov-receives-2025-ackermann-award\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/toghrul-karimov-receives-2025-ackermann-award\\\/#primaryimage\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/mpi-sws-black.png\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/mpi-sws-black.png\",\"width\":2083,\"height\":1137,\"caption\":\"MPI-SWS\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/toghrul-karimov-receives-2025-ackermann-award\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"News\",\"item\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"TOGHRUL KARIMOV RECEIVES 2025 ACKERMANN AWARD\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\",\"name\":\"Saarland Informatics Campus\",\"description\":\"in Saarbr\u00fccken, Germany\",\"publisher\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#organization\",\"name\":\"Saarland Informatics Campus\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SIC_logo_1453x343.png\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SIC_logo_1453x343.png\",\"width\":1453,\"height\":343,\"caption\":\"Saarland Informatics Campus\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/sic.informatik.saarland\\\/\",\"https:\\\/\\\/bsky.app\\\/profile\\\/saarland-informatics-campus.de\",\"https:\\\/\\\/www.instagram.com\\\/saarland_informatics_campus\\\/\",\"https:\\\/\\\/www.youtube.com\\\/channel\\\/UCaDDK5m9CGCzE4xhZTFC6cA\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/saarland-informatics-campus\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"TOGHRUL KARIMOV RECEIVES 2025 ACKERMANN AWARD - Saarland Informatics Campus","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/toghrul-karimov-receives-2025-ackermann-award\/","og_locale":"en_US","og_type":"article","og_title":"TOGHRUL KARIMOV RECEIVES 2025 ACKERMANN AWARD - Saarland Informatics Campus","og_description":"Toghrul Karimov, a graduate student in Jo&euml;l Ouaknine&rsquo;s Foundations of Automatic Verification Group, has received the 2025 Ackermann Award for his PhD thesis, &ldquo;Algorithmic Verification of Linear Dynamical Systems.&rdquo; The Ackermann Award is an international prize presented annually to the author of an exceptional doctoral dissertation in the field of Computer Science Logic. Although&nbsp;Toghrul is [&hellip;]","og_url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/toghrul-karimov-receives-2025-ackermann-award\/","og_site_name":"Saarland Informatics Campus","article_publisher":"https:\/\/www.facebook.com\/sic.informatik.saarland\/","article_modified_time":"2025-12-12T10:00:20+00:00","og_image":[{"width":2083,"height":1137,"url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi-sws-black.png","type":"image\/png"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/toghrul-karimov-receives-2025-ackermann-award\/","url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/toghrul-karimov-receives-2025-ackermann-award\/","name":"TOGHRUL KARIMOV RECEIVES 2025 ACKERMANN AWARD - Saarland Informatics Campus","isPartOf":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/toghrul-karimov-receives-2025-ackermann-award\/#primaryimage"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/toghrul-karimov-receives-2025-ackermann-award\/#primaryimage"},"thumbnailUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi-sws-black.png","datePublished":"2025-11-07T09:52:33+00:00","dateModified":"2025-12-12T10:00:20+00:00","breadcrumb":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/toghrul-karimov-receives-2025-ackermann-award\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/toghrul-karimov-receives-2025-ackermann-award\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/toghrul-karimov-receives-2025-ackermann-award\/#primaryimage","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi-sws-black.png","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi-sws-black.png","width":2083,"height":1137,"caption":"MPI-SWS"},{"@type":"BreadcrumbList","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/toghrul-karimov-receives-2025-ackermann-award\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/saarland-informatics-campus.de\/en\/"},{"@type":"ListItem","position":2,"name":"News","item":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/"},{"@type":"ListItem","position":3,"name":"TOGHRUL KARIMOV RECEIVES 2025 ACKERMANN AWARD"}]},{"@type":"WebSite","@id":"https:\/\/saarland-informatics-campus.de\/en\/#website","url":"https:\/\/saarland-informatics-campus.de\/en\/","name":"Saarland Informatics Campus","description":"in Saarbr\u00fccken, Germany","publisher":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/saarland-informatics-campus.de\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/saarland-informatics-campus.de\/en\/#organization","name":"Saarland Informatics Campus","url":"https:\/\/saarland-informatics-campus.de\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/#\/schema\/logo\/image\/","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SIC_logo_1453x343.png","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SIC_logo_1453x343.png","width":1453,"height":343,"caption":"Saarland Informatics Campus"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/sic.informatik.saarland\/","https:\/\/bsky.app\/profile\/saarland-informatics-campus.de","https:\/\/www.instagram.com\/saarland_informatics_campus\/","https:\/\/www.youtube.com\/channel\/UCaDDK5m9CGCzE4xhZTFC6cA","https:\/\/www.linkedin.com\/company\/saarland-informatics-campus"]}]}},"_links":{"self":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news\/24581","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news"}],"about":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/types\/sic_news"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media\/23857"}],"wp:attachment":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media?parent=24581"}],"wp:term":[{"taxonomy":"sic_news-types","embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news-types?post=24581"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}