– Københavns Universitet

Videresend til en ven Resize Print Bookmark and Share

Datalogisk Institut, DIKU > Friday Lectures

Get a closer look at the research conducted at DIKU and be inspired through this new lecture series DIKU Bits addressed to DIKU bachelor students - however, everyone is welcome.

Every second Friday during lunch a DIKU researcher will give a presentation of a selected research topic. The lecture series will give you an insight into DIKU's research areas, motivate you to follow your interest in computer science and prepare you for choosing a subject for your bachelors project.

Place: Aud 2, HCØ, Universitetsparken 5, 2100 København Ø
Time: 12:15 - 13:00 (see specific dates below)

Find information på dansk her

Program // Fall 2017

How to learn from a confused teacher: Learning from uncertain data

Speaker: Aasa Feragen, associate professor in the Image Section

The cheapest and least invasive medical imaging technologies are typically also the noisiest, meaning that extracted information such as spatial location, shape, and condition of organs have a high degree of uncertainty associated with them. When, in clinical research, we want to learn from the extracted information using statistics or machine learning, the common approach is to ignore this uncertainty. In this talk, we will present you with diffusion MRI, an imaging modality used to learn about structural brain connectivity in live human beings. We discuss how we propagate the uncertainty in low-level image information to more advanced models of brain connectivity, and how this gives a more truthful representation of the extracted information. Next, we discuss the need to adapt statistics and machine learning in order to actually learn from this data, now that it no longer consists of data points -- but rather of data point distributions. The work is performed in collaboration with Anton Mallasto and Tom Dela Haije.

The talk will be conducted in English

Computability: why you can always compute the same things as an alien invader (maybe just a bit more slowly)

Speaker: Jakob Grue, professor in the HCC Section

The set of problems you can, or cannot, solve using a computer, has the following property: it is essentially the same regardless of the type of computer. While this is already surprising given the hype about modern exotic types of computing (e.g., biological computers, or quantum computers), it is even more surprising that an alien invader using a computer that we have not even conceived of *cannot* solve more problems than we can -- however, some types of computers may solve some problems (much!) more efficiently. Come to the lecture to strengthen your resolve in humanity's hopes against their would-be alien oppressors! Marvel at the fact that we have known all this for 80 years, before the first computers were built! Learn about the nefarious schemes that may still give the aliens a chance against us!

The talk will be conducted in English

Previous Lectures

Hvorfor mislykkes store it-projekter ofte?

Oplægsholder: Jørgen Bansler, professor og sektionsleder for HCC sektionen

Store it-projekter fejler meget oftere end andre store projekter – og det gælder både i det offentlige og det private. Tidsplaner og budgetter overskrides, gevinsterne udebliver eller viser sig at være meget mindre end forventet, og nogle gange må projekterne helt opgives. Med udgangspunkt i en aktuel case – Region Hovedstadens nye Sundhedsplatform – diskuteres årsagerne til at det ofte går galt.

Oplægget holdes på dansk

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