# Grigore Rosu
Top Podcast-Folgen
Aktualisiert:
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…
PODCAST-SUCHMASCHINE
Auf unserer Website können Sie3,823,950-Podcasts und195,684,382-Folgen nach Personen, Orten oder Themen durchsuchen.
If I have seen further than others, it is by listening to podcasts and standing upon the shoulders of
giants.
‐ Isaac "Llamacorn" Newton
BEARBEITEN
Vielen Dank, dass Sie uns helfen, die Podcast-Datenbank auf dem neuesten Stand zu halten.
