Software Engineering and Formal Methods

The research group investigates and promotes the synergies of software engineering and formal methods for behavior and information of systems, humans, and society. Our research topics cover security and privacy, reactive and event-based systems, no-code and model-driven software engineering, dependable systems and specifications, and trustworthy AI and distributed systems. Emerging research topics are quantum-programming, quantum-resistant cryptography and compositional safety and security models for industrial systems.