– Københavns Universitet

Videresend til en ven Resize Print Bookmark and Share

Datalogisk Institut, DIKU > Fredagsforedrag

Kom tættere på DIKUs forskning og bliv inspireret via denne nye foredragsrække DIKU Bits henvendt til DIKUs bachelorstuderende - men alle er velkommen.

Hver anden fredag til frokost vil en DIKU forsker give en præsentation af et specifikt forskningsområde. Foredragsrækken vil give dig et indblik i DIKUs forskellige forskningsområder, motivere dig til at følge din interesse inden for datalogi og forberede dig til at vælge et emne til dit bachelorprojekt.

Sted: Aud 2, HCØ, Universitetsparken 5, 2100 København Ø
Tid: 12:15 - 13:00 (se specifikke datoer nedenfor)

Find information in English here

Program // Efterår 2017

6. OKTOBER
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

27. OKTOBER
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

Tidligere foredrag

8. SEPTEMBER 2017
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

22. SEPTEMBER 2017
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