Curriculum Vitae Carsten Weise
Current job position:
Researcher at Aachen University of Technology, Embedded System Labs, as member of the UMIC Excellence Cluster.
- validation and verification of flexible protocols
- specification, validation, verification, test of embedded systems
- timed automata
- hybrid automata
- timed testing
- methods and tools for the programming of mobile devices
- consultancy for companies in the field of embedded and real time systems
Senior Systems Designer at Ericsson responsible for technical studies, with main focus on KPIs (Key Performance Indicators). KPI support for the Ericsson international test projects CN5, CN6, CN7, Blade-Cluster and Wireline (2005-2007).
Group manager at Ericsson responsible for product handling and configuration management of the mobile switching center software (2002-2005)
Group manager at Ericsson responsible for the design of testing tools and methodologies for the switching network for mobile communications (2000-2002)
Project manager at Ericsson responsible for the development of an end-to-end testing tool for mobile switching software (1999-2000)
Assistant professor with BRICS (Basic Research in Compute Science, Centre of the Danish National Research Foundation) at Aalborg University (Denmark) in the Formal Systems group of Kim G. Larsen. (1997-1999)
Research assistant at Aachen University of Technology , at the Chair for Computer Science I (1987-1997) (at that time, Mathematical Foundations of Computer Science was the main subject, chaired by the late Professor Dr. Jürgen Merkwitz).
Graduation:
Promotion:
Ph.D. in computers science from Aachen University of Technology .
Thesis on theory of real time systems.
Diploma:
Diploma in computer science from Aachen University of Technology .
Master thesis on implementation of distributed real time systems.