Grigore Rosu

From FSL

Associate Professor

Bio, Vita and Research Awards Editing and Service Publications (DBLP,old) Projects (MOP, jPredictor, Circ) Students and Collaborators Teaching Aviation page Contact

News

• (2009) Matching Logic - An alternative (to Hoare logic) axiomatic framework built on top of K
• (2009) Picior De Plai (in Romanian) - A foundation aiming at presenting Romania through pictures
• (2008) UPCRC - The Universal Parallel Computing Research Center has been officially started at UC Berkeley and UIUC
• (2008) ARWU ranks UIUC #3 worldwide in Engineering/Technology and Computer Sciences (after MIT and Stanford)
• (2008) US News ranks UIUC #5 in the US in computer science (after MIT, Stanford, Berkley and CMU)