Courses in 2011-2012

• System Validation, Quarter 1-2, 2011-2012, Offered at TU Delft.
• Software Specification, Quarter 2, 2011-2012.
• Software Testing (2IW66), Quarter 3, 2011-2012.
• Software Testing (2IW65), Quarter 3, 2011-2012.
• Multi-Disciplinary Design Project, 2011-2012

Courses taught in 2005-2011:

• Software Testing, Semester 2, Quarter 4, 2010-2011 (OWInfo)
• Software Specification, Semester 1, Quarter 1-2, 2010-2011(OWInfo)
• Structured Operational Semantics, Short Course at ESSLLI 2010, Copenhagen, Denmark, Summer 2010.
• Software Testing, Semester 2, Quarter 3-4, 2010 (OWInfo)
• Software Specification, Semester 1, Quarter 1-2, 2009(OWInfo)
• Software Testing, Semester 1, Quarter 1, 2009(OWInfo)
• Requirement Analysis and Design Verification (with J.F. Groote), Semester 1, Quarter 1-2, 2009(OWInfo)
• Software Specification, Semester 1, Block A-C, 2008(OWInfo)
• Requirement Analysis and Design Verification, Semester 1, Block A-C, 2007(OWInfo)
• Logic and Set Theory, Semester 1, Block A-C, 2008(OWInfo)
• Software Specification, Semester 1, Block A-C, 2007(OWInfo)
• Requirement Analysis and Design Verification, Semester 1, Block A-C, 2007(OWInfo)
• Software Testing, Semester 2, Block D-F, 2007(OWInfo)
• OGO (Design-Oriented Education) Project 1.3, Semester 2, Block E-F, 2007(OWInfo)
• Aspects of Programming Languages, Semester 1, Block C., 2007 Wiki Page (in Dutch) (OWInfo)
• OGO (Design-Oriented Education) Project 1.3, 2006 (OWInfo)
• Requirement Analysis and Design Verification (RADV): Trimester 2, 2006 (OWInfo)
• Computational Networks (Rekennetwerken): Semester 2, Block E and F, 2006 (OWInfo)
• Logic and Set Theory (Logica en Verzamelingenleer): Trimester 1, Block A, 2005 (Home Page OWInfo)
• Automata and Processes (Automaten en Processen): Trimester 1, Block B, 2005 (Home Page OWInfo)

Back to Home