Marcello M. Bonsangue
Teaching

This year courses

• Introduction to Logic - spring 2012
• Pre-University college - spring 2012
• Foundations of Computer Science II - fall 2011
• Testing Object-Oriented Systems - fall 2011

Old Courses

• Introduction to Logic (spring 2011)
• Program Correctness (spring 2002, fall 2002, 2004, spring 2005, 2006, 2007, 2008, 2009, 2010)
• Foundations of Computer Science II (fall 2006, 2007, 2008, 2009, 2010)
• Testing Object-Oriented Systems (fall 2010)
• Studenten Seminarium (fall 2008, 2009, spring 2009, 2010 )
• Seminarium on Component based Software Engineering (spring 2003, fall 2003,2004, 2005)
• Semantics of Programming Languages (spring 2001)
• Software Architecture (spring 2001, fall 2001)
• Seminarium Software Architecture (Spring 2000)