Difference between revisions of "Grigore Rosu's Teaching"
From FSL
Line 1: | Line 1: | ||
(back to [[Grigore Rosu]]'s page) | (back to [[Grigore Rosu]]'s page) | ||
+ | |||
{{Header | 2017}} | {{Header | 2017}} | ||
:* Spring 2017: [[CS598 - Runtime Verification (Spring 2017)]] - Runtime Verification | :* Spring 2017: [[CS598 - Runtime Verification (Spring 2017)]] - Runtime Verification | ||
+ | |||
{{Header | 2016}} | {{Header | 2016}} | ||
Line 9: | Line 11: | ||
:* Fall 2016: [https://wiki.cites.illinois.edu/wiki/display/cs427fa16/Home CS427] - Software Engineering I | :* Fall 2016: [https://wiki.cites.illinois.edu/wiki/display/cs427fa16/Home CS427] - Software Engineering I | ||
:* Spring 2016: Sabbatical | :* Spring 2016: Sabbatical | ||
+ | |||
{{Header | 2015}} | {{Header | 2015}} |
Revision as of 16:18, 18 January 2017
(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 |
---|
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