# Grigore Rosu
قسمت های برتر پادکست
به روز شده:
Grigore Roșu is a computer science professor at the University of Illinois at Urbana-Champaign and a researcher in the
Information Trust Institute.
He is known for his contributions in runtime verification, K framework,
matching logic,
and automated coinduction.
== Biography ==
Rosu received a B.A. in Mathematics in 1995 and an M.S. in Fundamentals of Computing in 1996, both from the University of Bucharest, Romania, and a Ph.D. in Computer Science in 2000 from the University of California at San Diego.
Grigore Rosu: The K Framework – A Framework to Formally Define All Programming Languages
In the past few years, we witnessed the development of multiple smart contract languages – Solidity, Viper, Michelson, Scilla etc. These languages need to enable developers to write correct, predictable behavior smart contract code. Each language development effort therefore ends up spending resour…
#239 Grigore Rosu: The K framework - a framework to formally define all programming languages
In the past few years, we witnessed the development of multiple smart contract languages - Solidity, Viper, Michelson, Scilla etc. These languages need to enable developers to write correct, predictable behavior smart contract code. Each language development effort therefore ends up spending resour…
The MOST Crypto Friendly Nation In Europe?
This week's podcast features a number of interviews we conducted in Romania, during the xDay conference hosted by MultiversX.
In this podcast, we will hear from
Beniamin Mincu - founder of MultiversX
Bogdan Ivan - Romanian Minister of Digitalization
Sheraz Ahmed - Managing Partner at St…
Building the Decentralized and Verifiable Foundation for Web3 Beyond Blockchain, with Grigore Rosu (Pi Squared)
Grigore Rosu is the Founder & CEO of Pi Squared, (https://pi2.network/), a groundbreaking Web3 infrastructure company revolutionizing verifiable computing with its Universal Settlement Layer. As a distinguished professor at the University of Illinois Urbana-Champaign and founder of the K framework …
Ep: 218 - Live from Devconnect Argentina, Sandeep Nailwal, founder of Polygon Foundation, William Duran (Minteo), Patrick Kearney (Relay Protocol), Grigore Rosu (Pi Squared)
Live from Money Rails by Polygon at Devconnect 2025. 00:00 Introduction to Boys Club Live at Devconnect 00:41 Setting the Scene: Dev Connect and Money Rails 02:48 Draft Tweets: A Fun Warm-Up 05:50 Shoutouts and Event Highlights 10:23 Exploring Argentina 15:44 Trending Topics at Devconnect 25:17 Int…
AI:AM — AI-Generated Code, Formal Verification, and Agent Security · October 12, 2026
Runtime Verification CEO Everett Hildenbrandt and founder Grigore Rosu discuss AI-generated code, formal verification, Linux kernel rewrites, and the human role in setting specifications and reviewing evidence. Prakash Narayanan and Nathan Labenz also explore agent security, AI alignment, infrastru…
موتور جستجوی پادکست
می توانید از وب سایت ما برای جستجوی پادکست های3,823,928و قسمت های195,683,373بر اساس افراد، مکان ها یا موضوعات استفاده کنید.
سرمایه‌گذاری روی دانش بیشترین بازده را دارد؛ پس پادکست گوش می‌دهم.
‐ Benjamin "Llamacorn" Franklin
ویرایش
از کمک شما برای بروز نگهداشتن پایگاهدادههای پادکست سپاسگزاریم
