Curriculum Vitae of PD Dr. Jan Bredereke

name:	Jan Bredereke, PD Dr. rer. nat., Dipl.-Inform.
email:	brederek@tzi.de
date/place of birth:	Dec. 28, 1963 in Hamburg, Germany
nationality:	German
marital status:	Married; two children
languages:	German (native), English (fluent), French (adequate)
interests:	Active in a church brass choir, cycling.

Employments

09/'07-	Astrium GmbH, Bremen, Germany, software engineer.
04/'06-07/'07	euro engineering Aerospace GmbH, Bremen, Germany, software engineer.
05/'05-04/'06	Ferchau Engineering GmbH, Aviation division / Electronic Systems, Bremen, Germany, software engineer.
09/'01-04/'05	Univ. of Bremen, Germany, Comp. Science Dept., Operating Syst. & Distributed Syst. Group (Prof. Peleska), assistant professor (C1 since 12/'01, BAT Ib before).
10/'99-08/'01	Technology Center for Comp. Sce. of the Univ. of Bremen, Germany (Prof. Krieg-Brückner), researcher (BAT Ib/2) in an industry project.
10/'98-09/'99	Univ. of Oldenburg, Germany, Comp. Science Dept., Semantics Group (Prof. Olderog), researcher.
09/'97-08/'98	McMaster University, Hamilton, Canada, Communication Research Lab (Dr. Parnas), Post-Doctoral Fellow; DFG research grant.
01/'94-08/'97	Univ. of Kaiserslautern, Germany, Comp. Science Dept., Comp. Networks Group (Prof. Gotzhein), researcher.
11/'92-12/'93	Univ. of Hamburg, Germany, Comp. Science Dept., researcher in a DFG research project (Dr. Gotzhein).
1988-1991	Univ. of Hamburg. Teaching assistant + co-organizer of a computer science orientation course.
1988-1989	BPO GmbH, Pinneberg, 2 internships.
1986-1987	Self-employed software development, part time.
1983-1987	SCS GmbH, Systemhaus, Hamburg, 5 internships.

10/'05	Habilitation in computer science, Univ. of Bremen.
11/'92-07/'97	PhD in computer science, Univ. of Kaiserslautern (summa cum laude).
10/'85-10/'92	Studies in computer science, Univ. of Hamburg. Degrees: diploma (Dipl.-Inform.), (mark 1.1) Vordiplom 07/'87, (mark 1.0, equiv. of A level)
03/'84-06/'85	Community service, school for the blind, Hamburg.
10/'83-02/'84	Studies in computer science, cancelled due to draft for community service.
1970-1983	High school (Gymnasium) and primary school (Grundschule), Hamburg. Degree: Abitur (mark 1.0, equiv. of A level)

Übersetzergenerierung mit lex und yacc. (Compiler generation with lex and yacc.) (in German): (lecture, winter term '06/'07 and summer term '04)
Safety-Critical Systems 4: Engineering of Embedded Software Systems (in Englisch).: (lecture + "Übung"-type seminar, winter term '02/'03)
Unix-Tools (in German).: (lecture, winter term '01/'02)
Safety-Critical Systems 3: Methods and Tools (in German).: ("Übung"-type seminar, summer term '03)
Praktische Informatik 2. (Practical Computer Science 2.) (in German): ("Übung"-type seminar, summer term '02)
Supervision of nine teaching assistants.

(More courses can be found on another page.)

Dagstuhl-Seminar "Architecting Systems with Trustworthy Components",: Dagstuhl, Dec. 12-17, 2004.
Dagstuhl-Seminar "Objects, Agents and Features",: Dagstuhl, Feb. 16-21, 2003.
Dagstuhl-Seminar "Dependability of Component Based Systems",: Dagstuhl, Nov. 3-8, 2002.
Dagstuhl-Seminar "Can Formal Methods Cope with Software-Intensive Systems?",: Dagstuhl, May 27 - June 1, 2001.
Dagstuhl-Seminar "Rigorous Analysis and Design for Software Intensive Systems",: Dagstuhl, Germany, 7-12 Nov. 1999.
Dagstuhl-Seminar "Software Engineering Research and Education: Seeking a new Agenda",: Dagstuhl, Germany, 14-19 Feb. 1999.
Bell Labs,: Software Production Research Dept., Naperville IL, USA, 18 Aug. 1998.
Univ. of Ottawa,: School of Information Technology and Engineering, Ontario, Canada, 5 Mar. 1998.
Naval Research Laboratory,: Software Engineering section of CHACS, Washington DC, USA, 17 Dec. 1997.
McMaster Univ., Hamilton,: Communications Research Lab., Ontario, Canada, 16 Sep. 1997.
Univ. of Ulm,: Computer Sce. Dept., Germany, 1 Sep. 1993.
CRIN - Centre de la Recherche en Informatique de Nancy,: Vandoeuvre-les-Nancy, France, 11 Feb. 1993.

IFIP TC6 Working Group 6.1 "Architectures and Protocols for Distributed Systems": member of working group
since May 2006.
FM 2003 workshop: Service-based Software Engineering: member of Program Committee
(workshop of the 12th Int'l Formal Methods Europe Symp.), Pisa, Italy, Sept. 8-14, 2003.
Estelle'98: member of Program Committee
(Int'l. Workshop on the Formal Description Technique Estelle), Evry/Paris, France, Nov. 2, 1998.
FORTE/PSTV'96: Conference Organization Chairperson
(IFIP Joint Int'l Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification), Kaiserslautern, Oct. 8-11, 1996.
FORTE/PSTV'96: member of Program Committee.
5th GI/ITG Workshop ``Formal Description Techniques for Distributed Systems'': Conference Organization Chairperson
Kaiserslautern, June 22-23, 1995.

brederek@tzi.de $Date: 2007/08/29 07:00:36 $GMT