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.


PAPRICAS (2020-)
Computer Science Department, University of Copenhagen
Led by Thomas Hildebrandt



Name Title Phone E-mail
Dmitriy Traytel Associate Professor - Promotion Programme +4524959831 E-mail
Leonardo Lima PhD Fellow   E-mail
Li Quan PhD Fellow +4535333027 E-mail
Rafael Castro Goncalves Silva PhD Student +4535325593 E-mail
Thomas Troels Hildebrandt Professor +4535335116 E-mail
Tijs Slaats Associate Professor +4535330318 E-mail
Tilman Zuckmantel PhD Fellow   E-mail
Yongluan Zhou Professor +4529883168 E-mail