{"id":1528,"date":"2026-02-26T20:42:02","date_gmt":"2026-02-26T20:42:02","guid":{"rendered":"https:\/\/synasc.ro\/2026\/?page_id=1528"},"modified":"2026-06-05T10:39:24","modified_gmt":"2026-06-05T10:39:24","slug":"grigore-rosu","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2026\/invited-speakers\/grigore-rosu\/","title":{"rendered":"Grigore Ro\u0219u"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"1528\" class=\"elementor elementor-1528\" data-elementor-post-type=\"page\">\n\t\t\t\t<div class=\"elementor-element elementor-element-3e0b8ee e-con-full e-flex e-con e-parent\" data-id=\"3e0b8ee\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-a3ba736 elementor-widget elementor-widget-heading\" data-id=\"a3ba736\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">FastSet: Verified Settlement for AI-Native Work<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-80ba9f5 elementor-widget elementor-widget-heading\" data-id=\"80ba9f5\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Grigore Ro\u0219u<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-7088b6b elementor-widget elementor-widget-text-editor\" data-id=\"7088b6b\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<p>Co-Founder and CEO of Pi Squared Labs<br \/>University of Illinois Urbana-Champaig, U.S.A.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-69a1199 elementor-widget elementor-widget-image\" data-id=\"69a1199\" 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=\"258\" height=\"300\" src=\"https:\/\/synasc.ro\/2026\/wp-content\/uploads\/sites\/28\/2026\/06\/grigore_pfp2-258x300.png\" class=\"attachment-medium size-medium wp-image-1693\" alt=\"\" srcset=\"https:\/\/synasc.ro\/2026\/wp-content\/uploads\/sites\/28\/2026\/06\/grigore_pfp2-258x300.png 258w, https:\/\/synasc.ro\/2026\/wp-content\/uploads\/sites\/28\/2026\/06\/grigore_pfp2-880x1024.png 880w, https:\/\/synasc.ro\/2026\/wp-content\/uploads\/sites\/28\/2026\/06\/grigore_pfp2-768x893.png 768w, https:\/\/synasc.ro\/2026\/wp-content\/uploads\/sites\/28\/2026\/06\/grigore_pfp2.png 1225w\" sizes=\"(max-width: 258px) 100vw, 258px\" \/>\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-6e257af elementor-align-center elementor-hidden-widescreen elementor-hidden-desktop elementor-hidden-tablet elementor-hidden-mobile elementor-icon-list--layout-traditional elementor-list-item-link-full_width elementor-widget elementor-widget-icon-list\" data-id=\"6e257af\" 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=\"#\">\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-89d48db elementor-widget elementor-widget-heading\" data-id=\"89d48db\" 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-dd1252a elementor-widget elementor-widget-text-editor\" data-id=\"dd1252a\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<div>Fast (<a href=\"http:\/\/fast.xyz\/\" target=\"_blank\" rel=\"noopener\" data-saferedirecturl=\"https:\/\/www.google.com\/url?q=http:\/\/fast.xyz&amp;source=gmail&amp;ust=1780740370855000&amp;usg=AOvVaw1YCYE5EIyMkxJQo6C5hd40\">fast.xyz<\/a>) is a verifiable settlement infrastructure for AI-native work: humans, agents, services, and merchants coordinating work and settling outcomes, including payments, programmatically. This talk presents recent progress on Fast at Pi Squared Labs (<a href=\"http:\/\/pi2labs.org\/\" target=\"_blank\" rel=\"noopener\" data-saferedirecturl=\"https:\/\/www.google.com\/url?q=http:\/\/pi2labs.org&amp;source=gmail&amp;ust=1780740370855000&amp;usg=AOvVaw2WloaQ1pUGv7zZZPIotjvB\">pi2labs.org<\/a>), starting with the FastSet weak consensus protocol that powers the Fast network. Unlike traditional systems that serialize transactions into one global order, FastSet processes independent claims in parallel, avoiding unnecessary consensus bottlenecks while preserving precise settlement semantics.<\/div><div>\u00a0<\/div><div>A central theme of the talk is verification. Fast does not treat correctness as an afterthought or a layer of audits around an implementation. The protocol is designed so that critical behavior can be specified, executed, and checked with formal methods. This gives stronger guarantees about what the system is allowed to accept, not just whether the network accepted it. The talk will also connect the protocol to real products:\u00a0<a href=\"http:\/\/fast.xyz\/\" target=\"_blank\" rel=\"noopener\" data-saferedirecturl=\"https:\/\/www.google.com\/url?q=http:\/\/fast.xyz&amp;source=gmail&amp;ust=1780740370855000&amp;usg=AOvVaw1YCYE5EIyMkxJQo6C5hd40\">fast.xyz<\/a>\u00a0as the user and developer entry point,\u00a0<a href=\"http:\/\/app.fast.xyz\/\" target=\"_blank\" rel=\"noopener\" data-saferedirecturl=\"https:\/\/www.google.com\/url?q=http:\/\/app.fast.xyz&amp;source=gmail&amp;ust=1780740370855000&amp;usg=AOvVaw1luq22blGVakYkHQuZxxVH\">app.fast.xyz<\/a>\u00a0as an app for holding user and agent accounts and signing transactions, and\u00a0<a href=\"http:\/\/shop.fast.xyz\/\" target=\"_blank\" rel=\"noopener\" data-saferedirecturl=\"https:\/\/www.google.com\/url?q=http:\/\/shop.fast.xyz&amp;source=gmail&amp;ust=1780740370855000&amp;usg=AOvVaw3-IKrHh04bkxGf_xFjFC9C\">shop.fast.xyz<\/a>\u00a0as a working example of agent-first commerce, where AI agents can discover merchants, prepare purchases, and participate in checkout flows.<\/div><div>\u00a0<\/div>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-8c706e9 elementor-widget elementor-widget-heading\" data-id=\"8c706e9\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">SHORT BIO<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-0b87dae elementor-widget elementor-widget-text-editor\" data-id=\"0b87dae\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<p>Grigore Ro\u0219u is Co-Founder and CEO of Pi Squared Labs, where he is building Fast, a verified payment and settlement system for agents and AI-native work. He is also a professor of computer science at the University of Illinois Urbana-Champaign. After earning his Ph.D. in computer science from UC San Diego, he worked at NASA on critical spacecraft software. He created the K Framework, a formal methods framework for defining and verifying programming languages and systems, and founded Runtime Verification, where his work helped bring formal verification to distributed financial systems and secure billions in assets. Grigore is an IEEE Fellow and AAAS Fellow, known for his work on runtime verification, matching logic, and practical formal methods.<\/p>\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>FastSet: Verified Settlement for AI-Native Work Grigore Ro\u0219u Co-Founder and CEO of Pi Squared LabsUniversity of Illinois Urbana-Champaig, U.S.A. Webpage ABSTRACT Fast (fast.xyz) is a verifiable settlement infrastructure for AI-native work: humans, agents, services, and merchants coordinating work and settling outcomes, including payments, programmatically. This talk presents recent progress on Fast at Pi Squared Labs [&hellip;]<\/p>\n","protected":false},"author":30,"featured_media":0,"parent":226,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1528","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/1528","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/users\/30"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/comments?post=1528"}],"version-history":[{"count":7,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/1528\/revisions"}],"predecessor-version":[{"id":1696,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/1528\/revisions\/1696"}],"up":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/226"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/media?parent=1528"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}