Home

Welcome to my landing page. I am Boris Düdder, an Associate Professor in Formal Methods in Software Engineering at the University of Copenhagen (UCPH), and my research field is Formal Methods and Programming Languages in Software Engineering for Trustworthy Distributed Systems.