Boris Düdder is associate professor at the department of computer science (DIKU) at the University of Copenhagen (UCPH), Denmark. His primary research interests are artificial intelligence and formal methods in software engineering.
He is a head of the Research Group Software Engineering and Formal Methods at DIKU and acting as co-head of the Cyber Security and Privacy Research group at DIKU. He is a guest lecturer at the Copenhagen Business School (CBS), Denmark, and the University of Electronic Science and Technology of China (UESTC), Chengdu, P.R. China.
He is involved in multiple projects on innovative and dependable industrial IT infrastructure for enterprises, manufacturing industries, and national healthcare IT, e.g., Data Ecosystems, Smart Factories, and Industry 4.0. He has more than one and a half decades of industry and entrepreneurial experience in the fields of industrial geographical information systems, supply chain IT, and predictive analytics on Big Data. He worked as an international consultant and software engineer for multiple European banks, logistic providers, and manufacturing enterprises, e.g., as a consultant for Microsoft Corp., Redmond, USA.
Boris was awarded a Z-inspection® Teaching Certificate.