Background

Dr. Markus Dahlweid is a Lead Software Design Engineer at the European Microsoft Innovation Center in Aachen, Germany.
Dr. Dahlweid studied Computer Sciences and holds a PhD from Bremen University on “High Level Transition Systems of CSP Specifications”. Before joining Microsoft, he worked at Verified Systems, Bremen as software development and testing engineer, with special focus on safety-critical embedded systems in the area of avionics. After joining the European Microsoft Innovation Center (EMIC) in 2008, his primary focus was on verifying the Microsoft Hyper-V Hypervisor kernel as part of the Verisoft XT research project funded by BMBF and developing the verification tools needed to verify C code. His current focus is on the design and implementation of tools and method for model based development, especially on the topic of design-space exploration of models capturing functional- and non-functional requirements.