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.
People
This content is temporarily unavailable because the system it is fetched from cannot be reached. The rest of the site works as usual.
Status is available on the operating status page.
