{"id":443,"date":"2025-03-27T13:10:33","date_gmt":"2025-03-27T13:10:33","guid":{"rendered":"https:\/\/synasc.ro\/2025-new\/?page_id=443"},"modified":"2025-04-04T08:35:47","modified_gmt":"2025-04-04T08:35:47","slug":"daniela-kaufmann","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2025\/invited-speakers\/daniela-kaufmann\/","title":{"rendered":"Daniela Kaufmann"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"443\" class=\"elementor elementor-443\" data-elementor-post-type=\"page\">\n\t\t\t\t<div class=\"elementor-element elementor-element-d75b9f8 e-con-full e-flex e-con e-parent\" data-id=\"d75b9f8\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-177d0f3 elementor-widget elementor-widget-heading\" data-id=\"177d0f3\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Verifying Arithmetic Circuits with Polynomials<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-f3e2acf elementor-widget elementor-widget-heading\" data-id=\"f3e2acf\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Daniela Kaufmann<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-6d34888 elementor-widget elementor-widget-text-editor\" data-id=\"6d34888\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<p>Technical University of Vienna, Austria<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-d842884 elementor-widget elementor-widget-image\" data-id=\"d842884\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img fetchpriority=\"high\" decoding=\"async\" width=\"240\" height=\"300\" src=\"https:\/\/synasc.ro\/2025\/wp-content\/uploads\/sites\/26\/2025\/03\/daniela_kaufmann-ezgif.com-webp-to-jpg-converter-240x300.jpg\" class=\"attachment-medium size-medium wp-image-452\" alt=\"\" srcset=\"https:\/\/synasc.ro\/2025\/wp-content\/uploads\/sites\/26\/2025\/03\/daniela_kaufmann-ezgif.com-webp-to-jpg-converter-240x300.jpg 240w, https:\/\/synasc.ro\/2025\/wp-content\/uploads\/sites\/26\/2025\/03\/daniela_kaufmann-ezgif.com-webp-to-jpg-converter.jpg 384w\" sizes=\"(max-width: 240px) 100vw, 240px\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-75c19f9 elementor-align-center elementor-icon-list--layout-traditional elementor-list-item-link-full_width elementor-widget elementor-widget-icon-list\" data-id=\"75c19f9\" data-element_type=\"widget\" data-widget_type=\"icon-list.default\">\n\t\t\t\t\t\t\t<ul class=\"elementor-icon-list-items\">\n\t\t\t\t\t\t\t<li class=\"elementor-icon-list-item\">\n\t\t\t\t\t\t\t\t\t\t\t<a href=\"https:\/\/danielakaufmann.at\/\">\n\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-icon\">\n\t\t\t\t\t\t\t<svg aria-hidden=\"true\" class=\"e-font-icon-svg e-fas-globe\" viewBox=\"0 0 496 512\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"M336.5 160C322 70.7 287.8 8 248 8s-74 62.7-88.5 152h177zM152 256c0 22.2 1.2 43.5 3.3 64h185.3c2.1-20.5 3.3-41.8 3.3-64s-1.2-43.5-3.3-64H155.3c-2.1 20.5-3.3 41.8-3.3 64zm324.7-96c-28.6-67.9-86.5-120.4-158-141.6 24.4 33.8 41.2 84.7 50 141.6h108zM177.2 18.4C105.8 39.6 47.8 92.1 19.3 160h108c8.7-56.9 25.5-107.8 49.9-141.6zM487.4 192H372.7c2.1 21 3.3 42.5 3.3 64s-1.2 43-3.3 64h114.6c5.5-20.5 8.6-41.8 8.6-64s-3.1-43.5-8.5-64zM120 256c0-21.5 1.2-43 3.3-64H8.6C3.2 212.5 0 233.8 0 256s3.2 43.5 8.6 64h114.6c-2-21-3.2-42.5-3.2-64zm39.5 96c14.5 89.3 48.7 152 88.5 152s74-62.7 88.5-152h-177zm159.3 141.6c71.4-21.2 129.4-73.7 158-141.6h-108c-8.8 56.9-25.6 107.8-50 141.6zM19.3 352c28.6 67.9 86.5 120.4 158 141.6-24.4-33.8-41.2-84.7-50-141.6h-108z\"><\/path><\/svg>\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-text\">Webpage<\/span>\n\t\t\t\t\t\t\t\t\t\t\t<\/a>\n\t\t\t\t\t\t\t\t\t<\/li>\n\t\t\t\t\t\t<\/ul>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-cc87663 elementor-widget elementor-widget-heading\" data-id=\"cc87663\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">ABSTRACT<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-26194eb elementor-widget elementor-widget-text-editor\" data-id=\"26194eb\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<div dir=\"auto\">Formal verification using computer algebra has emerged as a powerful approach for circuit verification. This technique encodes a circuit, represented as an and-inverter graph, into a set of polynomials that generates a Gr\u00f6bner basis. Verification relies on computing the polynomial remainder of the specification. But there is a catch: a monomial blow-up often occurs during specification rewriting \u2014 a problem that often necessitates dedicated heuristics to manage the complexity. In the first part of the talk, I will provide an introduction to arithmetic circuit verification and discuss how computer algebra can be used in this setting. In the second part, I will present a novel approach, which shifts the computational effort to rewriting the Gr\u00f6bner basis itself rather than the specification. By restructuring the basis to include linear polynomials, we tame the monomial blow-up and simplify the rewriting process.<\/div>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Verifying Arithmetic Circuits with Polynomials Daniela Kaufmann Technical University of Vienna, Austria Webpage ABSTRACT Formal verification using computer algebra has emerged as a powerful approach for circuit verification. This technique encodes a circuit, represented as an and-inverter graph, into a set of polynomials that generates a Gr\u00f6bner basis. Verification relies on computing the polynomial remainder [&hellip;]<\/p>\n","protected":false},"author":27,"featured_media":0,"parent":226,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-443","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/pages\/443","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/users\/27"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/comments?post=443"}],"version-history":[{"count":23,"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/pages\/443\/revisions"}],"predecessor-version":[{"id":879,"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/pages\/443\/revisions\/879"}],"up":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/pages\/226"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/media?parent=443"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}