معرفی
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
حوزههای پژوهشی
Boris Düdder در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- PPaul CosmaUniversity of Copenhagen · پژوهشگر ارشد
- AArnav AroraUniversity of Copenhagen · پژوهشگر ارشد
Dmitriy TraytelInria · دانشیار- RRoman VaculínSchloss Dagstuhl - Leibniz Center for Informatics · پژوهشگر
- OOmry RossUniversity of Copenhagen · دانشیار
Dmitriy TraytelTechnical University of Munich · دانشیار