Grigore Rosu

From FSL

Jump to: navigation, search
Grigore Rosu Associate Professor
Velocity


Interesting
  • Matching Logic - An alternative (to Hoare logic) axiomatic framework built on top of K
  • Picior De Plai (in Romanian) - A foundation aiming at presenting Romania through pictures
  • Proofs are Fun - Some movies with fun proofs (by me)
Retrieved from "http://fsl.cs.uiuc.edu/index.php/Grigore_Rosu"
Views
Personal tools