Teaching in Karlsruhe

Winter 2015/2016

Software Security Disasters (seminar)

Formal Systems (course tutorials)

Summer 2015

Software Security Disasters (seminar)

Applying Formal Verification (course, independent teaching)

Winter 2014/2015

Software Security Disasters (seminar)

Formal Systems (course tutorials)

Winter 2013/2014

Formal Systems (course tutorials)

Summer 2013

Formal Methods in Software Development: Regression Verification (project group)

Winter 2012/2013

Formal Methods in Software Development: Regression Verification (project group)

Summer 2012

Applying Formal Verification (course, independent teaching)

Formal Methods for Software Security (seminar)

Winter 2011/2012

Testing, Debugging, and Verification (course at Chalmers, independent teaching)

Summer 2011

Formal Methods, Best Of, 2010 (seminar)

Applying Formal Verification (course)

Summer 2010

Applying Formal Verification (course)

Winter 2009/2010

Practice of Software Development (lab course)

Formal Systems (course tutorials)

Teaching in Koblenz

Winter 2008/2009

Selected Topics in AR and AI Research (seminar)

Introduction to Formal Specification of Software (course tutorials)

Summer 2008

Current Priority Programs in German CS Research (seminar)

Formal Specification and Verification (course tutorials)

Winter 2007/2008

Selected Topics "Google Tech Talks" (seminar)

Summer 2007

Designing a Project Management Component for a Program Verification System (lab course)

Summer 2006

Selected Topics in AR and AI Research (proseminar)

Logics for CS (course tutorials)

Summer 2005

Formal Methods for Fun and Profit (seminar)

Winter 2004/2005

Formal Methods in Object-oriented Software Development (lab course)

Summer 2004

Logics Gone Astray: Delusion, Dodge, Deception (seminar)

Winter 2003/2004

Formal Methods in Object-oriented Software Development (lab course)