Lebenslauf PD Dr. Jan Bredereke

Email:	brederek@tzi.de
Geboren:	28. Dezember 1963 in Hamburg
Nationalität:	Deutsch
Familienstand:	Verheiratet; zwei Kinder
Fremdsprachen:	Englisch (fließend), Französisch (genügend)
Interessen:	Aktiv in Posaunenchor, Fahrradfahren.

Tätigkeiten

09/'07-	Astrium GmbH, Bremen, Software-Ingenieur.
04/'06-07/'07	euro engineering Aerospace GmbH, Bremen, Informatiker.
05/'05-04/'06	Ferchau Engineering GmbH, Geschäftsbereich Aviation / Elektronische Systeme, Bremen, Software-Ingenieur.
09/'01-04/'05	Uni Bremen, FB Informatik, AG Betriebssysteme und verteilte Systeme (Prof. Peleska), wissenschaftlicher Assistent (C1 seit 12/'01, vorher BAT Ib).
10/'99-08/'01	Technologie-Zentrum Informatik der Uni Bremen (Prof. Krieg-Brückner), wissenschaftlicher Mitarbeiter BAT Ib/2 in Industrieprojekt.
10/'98-09/'99	Uni Oldenburg, FB Informatik, Abt. Semantik (Prof. Olderog), wissenschaftlicher Mitarbeiter.
09/'97-08/'98	McMaster University, Communication Research Lab., Hamilton, Kanada, (Prof. Parnas), Post-Doctoral Fellow; DFG-Forschungsstipendium.
01/'94-08/'97	Uni Kaiserslautern, FB Informatik, AG Rechnernetze (Prof. Gotzhein), wissenschaftlicher Mitarbeiter.
11/'92-12/'93	Uni Hamburg, FB Informatik, wissenschaftlicher Mitarbeiter in DFG-Projekt (Dr. Gotzhein).
1988-1991	Uni Hamburg, Tutor + Mitorganisator der Orientierungseinheit Informatik.
1988-1989	BPO GmbH, Pinneberg, Werkstudent.
1986-1987	Selbständige Software-Entwicklung, Teilzeit.
1983-1987	SCS GmbH, Systemhaus, Hamburg, Werkstudent.

10/'05	Habilitation Informatik, Uni Bremen.
11/'92-07/'97	Promotion Informatik, Uni Kaiserslautern (mit Auszeichnung).
10/'85-10/'92	Studium Informatik, Uni Hamburg. Abschluß: Dipl.-Inform. (Note 1,1), Vordiplom: 07/'87 (Note 1,0)
03/'84-06/'85	Zivildienst, Schwerstbehindertenbetreuung an der Blindenschule in Hamburg.
10/'83-02/'84	Studium Informatik, abgebrochen wg. Einberufung zum Zivildienst.
1970-1983	Gymnasium und Grundschule in Hamburg. Abschluß: Abitur (Note 1,0)

Übersetzergenerierung mit lex und yacc.: (Vorlesung, Wintersemester '06/'07 und Sommersemester '04)
Safety-Critical Systems 4: Engineering of Embedded Software Systems (in Englisch).: (V+Ü, WiSe '02/'03)
Unix-Tools.: (Vorlesung, Wintersemester '01/'02)
Safety-Critical Systems 3: Methods and Tools.: (Übung, SoSe '03)
Praktische Informatik 2.: (Übung im Grundstudium, SoSe '02)
Anleiten von neun Tutoren.

(Mehr Lehrveranstaltungen sind auf einer anderen Seite.)

Dagstuhl-Seminar "Architecting Systems with Trustworthy Components",: Dagstuhl, 12.-17. Dez. 2004.
Dagstuhl-Seminar "Objects, Agents and Features",: Dagstuhl, 16.-21. Feb. 2003.
Dagstuhl-Seminar "Dependability of Component Based Systems",: Dagstuhl, 3.-8. Nov. 2002.
Dagstuhl-Seminar "Can Formal Methods Cope with Software-Intensive Systems?",: Dagstuhl, 27. Mai-1. Juni 2001.
Dagstuhl-Seminar "Rigorous Analysis and Design for Software Intensive Systems",: Dagstuhl, 7.-12. Nov. 1999.
Dagstuhl-Seminar "Software Engineering Research and Education: Seeking a new Agenda",: Dagstuhl, 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, Kanada, 5. März 1998.
Naval Research Laboratory,: Software Engineering section of CHACS, Washington DC, USA, 17. Dez. 1997.
McMaster Univ., Hamilton,: Communications Research Lab., Ontario, Kanada, 16. Sep. 1997.
Uni Ulm,: FB Informatik, 1. Sep. 1993.
CRIN - Centre de la Recherche en Informatique de Nancy,: Vandoeuvre-les-Nancy, Frankreich, 11. Feb. 1993.

IFIP TC6 Working Group 6.1 "Architectures and Protocols for Distributed Systems": Mitglied der Working Group
seit Mai 2006.
FM 2003 Workshop: Service-based Software Engineering: Mitglied des Programmkomitees
(Workshop des 12th Int'l Formal Methods Europe Symp.), Pisa, Italien, 8.-14.9.2003.
Estelle'98: Mitglied des Programmkomitees
(Int'l. Workshop on the Formal Description Technique Estelle), Evry/Paris, Frankreich, 2. Nov. 1998.
FORTE/PSTV'96: Vorsitz der Konferenzorganisation
(IFIP Joint Int'l Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification), Kaiserslautern, 8.-11. Okt. 1996.
FORTE/PSTV'96: Mitglied des Programmkomitees.
5. GI/ITG Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme": Vorsitz der Konferenzorganisation
Kaiserslautern, 22.-23. Juni 1995.

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