ITU Channel (audio)

"Verifying and Synthesizing Software with Recursive Functions"

2nd invited talk from the ICALP 2014 conference hosted by the IT University of Copenhagen.
This live talk aired the 9th of July, 2014.

Video credits: Tan et al 2020; Akiba et al. 2024; Ha & Schmidhuber 2018; Bling 2015; Schrum, Karpov et al. 2010; Xin Qiu, Yulu Gan et al. 2025; Wang et al. 2020; Song et al. 2020; Earle et al. 2022; Clune et al. 2013; Lehman et al. 2022.

Neuroevolution has been applied across a wide range of domains—from evolving neural networks that learn to play video games such as Doom, Unreal, and Super Mario, to enabling robots to adapt to unforeseen situations in the real world. Beyond control, its versatility and creative potential make it suitable for many other tasks, including designing soft-robot morphologies, generating video-game levels, and even supporting experiments that help us explore the origins of intelligence in nature.

Kunst er en god måde at håndtere kunstig intelligens på. Kunsten kan tvivle og stille spørgsmål og lære os at omgås maskinerne,” siger kunster og ekstern lektor på ITU, Mogens Jacobsen. Han arbejder til dagligt med at skabe digital kunst og har bl.a. skabt værker, der afslører iboende bias i de datasæt, som kunstig intelligens er trænet på. Hør ham fortælle om, hvordan kunst kan sætte teknologi i perspektiv for os.

For mere information: [email protected]">[email protected]

Mød lektor Paolo Burelli ved IT-Universitetet i København, som bruger kunstig intelligens til at forstå hvordan menneskets hjerne fungerer og hvad menneskelige bevidsthed er. I denne video fortæller forsker i spil og kunstig intelligens og lektor på IT-Universitetet, Paolo Burelli, om hvordan kunstig intelligens kan bruges til at forstå hjernens kompleksitet. Kunstig intelligens (artificial intelligence eller AI) er kernen i en ny digital revolution, men hvordan vil teknologien påvirke os i vores dagligdag, og hvilken betydning vil den få for samfundet? I en ny videoserie undersøger vi, hvad begrebet AI dækker over, hvordan teknologien kan forme vores dagligdag i fremtiden, og hvilke konsekvenser den har. For mere info: Paolo Burelli: [email protected]

Med generativ AI har vi fået en kraftig motor ind i virksomheden eller organisationen, men vi risikerer at miste relationerne på arbejdspladsen. ITU-lektor og forsker, Louise Harder Fischer, giver sit bud på, hvordan AI vil forme vores arbejdsliv i fremtiden.

For mere information: 

Theis Duelund Jensen, presseansvarlig, +45 25 55 04 47, [email protected]

(In Danish)