Stefan Mitsch // Systems Scientist
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.
Computer Science Department, Carnegie Mellon University
5000 Forbes Avenue, Pittsburgh, PA 15213, USA
office Gates Hillman Center 7127