Boris Düdder
Associate Professor · Formal Methods in Software Engineering
University of CopenhagenAbout
Dr. Boris Düdder is an Associate Professor at the Department of Computer Science (DIKU), University of Copenhagen, focusing on Formal Methods, Programming Languages, and Trustworthy Distributed Systems. He leads the Software Engineering & Formal Methods research group and serves as Deputy Head of Department for Teaching, advocating for neurodiversity and inclusion.
- Primary Affiliation: Department of Computer Science, University of Copenhagen
- External Lectureship: Copenhagen Business School (CBS), University of Electronic Science and Technology of China (UESTC)
- Honorary Research Fellowship: Institute for Intelligent Production Systems, Qingdao, China
His research bridges formal computer science foundations with industrial applications, including automated program generation for adaptive systems (Combinatory Logic Synthesizer), verifiable AI, blockchain for healthcare IT, and secure data ecosystems. Key projects involve Smart Factories, Data Markets, and Ethical AI assessment via Z-Inspection.
Scientific recognition includes the 2022 SSIP Excellence In Service Innovation Award for Z-Inspection. He has secured international grants in blockchain, FinTech, and secure data sharing, operating in multinational consortia.
Contact: boris.d@di.ku.dk | Phone: +4593565748 | Website: Research Profile
Research fields
Find Boris Düdder elsewhere
Related Searches
You Might Also Like
- CCarolin HeinzlerUniversity of Copenhagen · Research Fellow
- JJohannes Tang ReussUniversity of Copenhagen · Lecturer
- AArnav AroraUniversity of Copenhagen · Research Fellow
- PPaul CosmaUniversity of Copenhagen · Research Fellow
- DDaniel Nicholas MølhaveUniversity of Copenhagen · Lecturer
- AAndré Oskar AndersenUniversity of Copenhagen · Academic