Software and Computing Systems

Our research and innovation activities focus on theories, methods, principles, and technologies spanning a wide range of abstractions of dependable software and computing systems. Of particular interest are smart products with focus on cyber-physical systems, applied formal methods, cognitive systems, embedded systems, distributed systems, and algorithm engineering. Applications include integrated tools for model-based design of system of systems and cyber-physical systems, integrated tools for formal modeling and verification, software ecosystems for systems engineering, and computationally efficient algorithms for pattern recognition and inverse problems.