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:19, 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
