– 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 // Block 1, 2017

27 OCTOBER 2017
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

Program // Block 2, 2017-2018

24 NOVEMBER 2017
TBA

TBA

8 DECEMBER 2017
Hvordan virker en fysiksimulator?

Speaker: Kenny Erleben, lektor i Image sektionen

De fleste møder fysiksimuleringer i deres hverdag, når de spiller computerspil eller ser en god film i biografen. Fysiksimuleringer anvendes dog til meget mere end ren underholdning blandt andet til at finde ud af, hvordan en bro skal bygges, hvordan en robot skal programmeres, og hvordan den menneskelige krop virker. Kenny Erleben vil tale om, hvordan man med datalogiske øjne bygger en hurtig og interaktiv rigid body fysiksimulator og gennemgår, hvordan et komplekst problem, som at finde ud af, hvordan 1000 klodser vælter rundt, kan brydes ned til simplere problemer. I foredraget får du et teknisk overblik og en smagsprøve på, hvilke slags problemer man prøver at løse, når man vil bygge sin egen fysiksimulator.

The talk will be conducted in Danish

5 JANUARY 2018
TBA

Speaker: Pawel Winter, professor and head of section in the APL section

TBA

19 JANUARY 2018
Blockchain Technology

Speaker: Omri Ross, assistant professor in the APL Section

Blockchain gained much popularity due to the growing interest in Bitcoin and other cryptocurrencies. However, the potential of blockchain technology is not limited to cryptocurrencies via the utilities of smart contracts. Some believe it has the potential to revolutionise the world just like the internet did. We will explore new developments in the area of blockchain including how big corporate can utilise this technology to solve main pain points. We will discuss case studies from the finance sector and the innovation around Initial Coin Offerings (ICOs) from a variety of startups around the world.

The talk will be conducted in English

Previous DIKU Bits

8 SEPTEMBER 2017
Hvorfor mislykkes store it-projekter ofte?

Speaker: Jørgen Bansler, professor and head of section in the 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.

The talk will be conducted in Danish

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

6 OCTOBER 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