DIKU Bits: Why smart contracts are neither smart nor contracts

Speaker: Fritz Henglein, professor in the APL Section

Turing-complete programming languages, especially hard-to-analyze imperative programming languages, and the Internet of Things create a scary mix of not just pixels, bits and ink being controlled by software (and often going wrong or rogue), but lasers, cars, robots, houses, factories, hospitals, energy grids. I will present some past, present and future research on domain-specific languages (DSLs) and techniques for high-performance, safe and productive computing, illustrated by analyzable contracts and reporting for next-generation blockchain (distributed ledger) technology. I will briefly review other increasingly important programming language theory and technology such as functional programming, mechanized proof, static analysis and semantics-based program synthesis.

The talk will be conducted in English

New lecture series at DIKU

In this new lecture series you can get a closer look at the research conducted at DIKU, be motivated you to follow your interest in computer science and be inspired when choosing a subject for your bachelors project. The lectures are addressed to DIKU bachelor students - however, everyone is welcome.