Lebenslauf Carsten Weise
Aktuelle Arbeitsstellung:
Forschung und Lehre an der RWTH Aachen, Lehrstuhl für eingebettete Systeme, im Rahmen des UMIC Excellence Cluster:
- Validierung und Verifikation flexibler Protokolle
- Spezifikation, Validierung, Verifikation, Testen eingebetteter Systeme
- Endliche Automaten mit Zeit (Timed Automata)
- Automaten mit diskretem und kontinuierlichem Verhalten (Hybrid Automata)
- Testen mit Zeitanforderungen (Timed Testing)
- Methoden und Werkzeuge für die Programmierung mobiler Endgeräte
- Beratung von Industrieunternehmen im Bereich Echtzeitsysteme
Vorherige Arbeitsstellungen:
Senior Systems Designer bei Ericsson im Bereich Technisches Management, mit Schwerpunkt KPIs ("Key Performance Indicators", deutsch: Leitkennzahlen, Leistungsindikatoren), sowohl strategisch als auch innerhalb der internationalen Ericsson Testprojekte CN5, CN6, CN7, Blade-Cluster und Wireline (2005-2007).
Gruppenleiter bei Ericsson auf dem Gebiet Konfigurationsmanagement für die Software der mobilen Vermittlungsstellen (2002-2005)
Gruppenleiter bei Ericsson auf dem Gebiet Soft- und Hardwaredesign von Testwerkzeugen, Design von Testmethoden für die mobilen Vermittlungsstellen (2000-2002)
Projektmanager bei Ericsson für die Entwicklung von Testwerkzeugen für den Ende-Ende-Test der mobilen Vermittlungsstellen (1999-2000)
Forschungsassistent bei BRICS (Basic Research in Compute Science, Centre of the Danish National Research Foundation) an der Universität Aalborg (Dänemark) in der Gruppe Formale Systeme unter Prof. Dr. Kim G. Larsen. (1997-1999)
Wissenschaftlicher Mitarbeiter an der RWTH Aachen, am Lehrstuhl für Informatik I (1987-1997) (damals unter dem verstorbenen Professor Dr. Jürgen Merkwitz mit dem Hauptgebit Mathematische Grundlagen der Informatik).
Abschlüsse
Promotion:
Dr.rer.nat in Informatik von der RWTH Aachen. Doktorarbeit über die Theorie von Echtzeitsystemen.
Diplom:
Dipl.Inform. an der RWTH Aachen. Diplomarbeit über die Implementierung eines verteilten Echtzeitsystems.