Jörg Behrend

Design: Roland Weiss

General

Portrait

Name:	Jörg Behrend
Position:	Doctoral Candidate
Interests:	verification technology, grid computing.

Teaching

SS 07: Seminar Software Verifikation
WS 06/07: Seminar Grid-Computing
SS 2006: Seminar Formale Eigenschaftsverifikation: Algorithmen und Werkzeuge

Student research project

Analyse und Optimierung einer C++-Anwendung am Beispiel von SymC

Diploma thesis

Analyse und Optimierung einer C++-Anwendung am Beispiel von SymC