معرفی
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 در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- CCarolin HeinzlerUniversity of Copenhagen · پژوهشگر ارشد
- JJohannes Tang ReussUniversity of Copenhagen · مدرس
- AArnav AroraUniversity of Copenhagen · پژوهشگر ارشد
- PPaul CosmaUniversity of Copenhagen · پژوهشگر ارشد
- DDaniel Nicholas MølhaveUniversity of Copenhagen · مدرس
- AAndré Oskar AndersenUniversity of Copenhagen · عضو هیئت علمی