Grigore Rosu's Teaching

(back to Grigore Rosu's page)

2017

• Spring 2017: CS598 - Runtime Verification (Spring 2017) - Runtime Verification

2016

• Fall 2016: CS427 - Software Engineering I
• Spring 2016: Sabbatical

2015

• Fall 2015: Sabbatical
• Spring 2015: CS422 - Programming Language Design

2014

• Fall 2014: CS427 - Software Engineering I
• Spring 2014: CS421 - Programming Languages and Compilers

2013

• Fall 2013: CS422 - Programming Language Design

• Spring 2013: CS522 - Programming Language Semantics

• Teacher ranked as excellent by students: ICES scores, Spring 2013

2012

• Fall 2012: CS422 - Programming Language Design

• Teacher ranked as excellent by students: ICES scores, Fall 2012

• Spring 2012: CS522 - Programming Language Semantics

2011

• Fall 2011: CS422 - Programming Language Design

• Spring 2011: CS522 - Programming Language Semantics

2010

• Fall 2010: CS422 - Programming Language Design

• Spring 2010: CS422 - Programming Language Design

2009

• Fall 2009: CS522 - Programming Language Semantics

2008

• Spring 2008: CS522 - Programming Language Semantics

• Teacher ranked as excellent by students: ICES scores, Spring 2008

2007

• Fall 2007: CS422 - Programming Language Design

• Spring 2007: CS477/ECE478 - Formal Software Development Methods

2006

• Fall 2006: CS422 - Programming Language Design

• Spring 2006: CS522 - Programming Language Semantics

2005

• Fall 2005: CS422 - Programming Language Design

• Spring 2005: CS522 - Programming Language Semantics

2004

• Fall 2004: CS422 - Programming Language Design

• Teacher ranked as excellent by students: ICES scores, Fall 2004

• Spring 2004: CS321 - Programming Languages and Compilers

2003

• Fall 2003: CS322 - Programming Language Design

• Spring 2003: CS497GR - Automated Software Engineering

2002

• Fall 2002: CS497GR - Automated Software Engineering