General

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

Curriculum Vitae

Education
since 2006	Doctoral Candidate in Computer Science Eberhard-Karls-Universität Tübingen, Germany Computeralgebra Group Wilhelm-Schickard-Institut für Informatik
1999 - 2005	Diploma Candidate in Computer Science (Bioinformatics) Eberhard-Karls-Universität Tübingen, Germany Wilhelm-Schickard-Institut für Informatik November 2005: Diploma in Computer Science
- 1998	Gymnasium am Stefansberg in Merzig, Germany Abitur
Research
2006 -	IBM Cell Processor TPO++ in heterogeneous environments (grid) distributed verification: enabling the bounded property checking tool SymC for grids new distributed verification techniques software Verification new distributed software verification methods
Teaching
2007	Courses and Seminars Seminar: Software Verifikation: SW-Spezifikation, -Test und Verifikation Seminar: Grid-Computing
2006	Courses and Seminars Seminar: Grid-Computing Seminar Verification
IT Skills
	Software Engineering Generic Programming, Functional Programming Internet Technologies (HTML, XML, Protocols) Client/Server Architectures Formal Methods (Model Checking, BDDs, Temporal Logics, Automata Theory) Programming Languages C/C++, Java, Scheme Operating Systems Windows (NT, 2000, XP, Vista) Unix (Linux, Solaris)
Languages
	German (native speaker), English, French