I'm a researcher working in the LOGICAL SYSTEMS LAB of Carnegie Mellon's Computer Science Department. My current research focuses on modeling, refactoring, collaboration, and verification methods for hybrid systems. I'm particularly interested in applying software engineering methods to support system design and verification. I received my PhD in computer science from JOHANNES KEPLER UNIVERSITY. My previous research targeted modeling and reasoning approaches all the way from low-level sensor networks to high-level qualitative situation awareness.