Grigore Rosu
Professor @cse_uiuc, founder @rv_inc. Programming languages, formal methods, software engineering, hiking, go (2 dan), flying, building things.
 

Recent Activity