Grigore Rosu's Teaching

From FSL
Jump to: navigation, search

(back to Grigore Rosu's page)


2017
  • Spring 2017: CS598 - 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


2012
  • Fall 2012: CS422 - Programming Language Design
  • 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


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
  • 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
Personal tools
Namespaces

Variants
Actions
Navigation