Hosted by IT University of Copenhagen
Episodes
99
Latest episode
Jul 2026
Language
EN-US
<p><p>"Verifying and Synthesizing Software with Recursive Functions"<br><br>2nd invited talk from the ICALP 2014 conference hosted by the IT University of Copenhagen.<br>This live talk aired the 9th of July, 2014.<br></p></p><p><a href="http://video.itu.dk/photo/10044793/icalp-2014-viktor-kuncak"><img src="http://video.itu.dk/9826383/10044793/64173a4030399d88263eba192f6d370f/standard/download-3-thumbnail.jpg" width="600" height="338"/></a></p>
<p><p><strong>Avi Wigderson</strong> is one of the leading figures in the theory of computation. His groundbreaking work on computational complexity, randomness, and cryptography has helped define the field over the past four decades. Recipient of both the Abel Prize and the Turing Award, Wigderson has been instrumental in revealing deep connections between computation, mathematics, and the nature of efficient reasoning.</p><p>Nutan and Thore talk to Avi about life, research, mathematics, and computing. Avi embodies the ideals of the community of researchers in theoretical computer science, and how the norms around institutions, development, publishing, and networking have shaped the field. We also try to cover many aspects of this recent book highlighting the interplay between computing and mathematics, and role that TCS plays in revolutionising both information technology and many other scientific fields. Finally, we reflect on the future of the discipline, academic research, and the life of a researcher in the years to come. </p><p>Avi’s 2019 book, Mathematics and Computation, is published by Princeton University press, and available for free on Princeton’s website.</p></p><p><a href="http://video.itu.dk/photo/129011428/avi-wigderson-mathematics-and"><img src="http://video.itu.dk/64968579/129011428/28a8ba28c31dd2382bbe6749136d6178/standard/download-14-thumbnail.jpg" width="600" height="338"/></a></p>
<p><p>This lecture draws on decades of working with repairing, caring, composting and other worldmaking practices. Over the years we have come to see these practices as ways of hospicing modernity (Machado de Oliveira 2021), cultivating the arts of living (Tsing et al 2017), and keeping possibilities open (Stengers 2023). We’ve been conducting our design research in the Un/Making Studio, a Tiny House on Wheels in Holding Surplus House and through gathering around Hope and Grief. Our participatory design approach has predominantly been involving publics. </p><p style="text-align: left;"> </p><p style="text-align: left;">Drawing on our more recent work in the research environment <em>Design after Progress: Reimaging design histories and futures,</em> we will turn these questions and challenges towards design practices and design education. We particularly seek to carefully untie design’s entanglement with progress and to craft concrete imaginaries of a more socio-ecologically just design after progress. This includes developing and articulating skills, competencies, capabilities, and concepts necessary for designing after progress. </p><p style="text-align: left;"> <br>Along with others who work with education on regeneration we want to emphasise the need for taking care of the losses and letting go in the transition and transformation processes. This entails to not just add, but also cherish that which we want to hold on to and take care of what we’re letting go of in various affective ways.</p></p><p><a href="http://video.itu.dk/photo/126396319/rehearsing-rituals-for-unlearning"><img src="http://video.itu.dk/64968560/126396319/07618112bf89a2d4021231f429e07ba3/standard/download-12-thumbnail.jpg" width="600" height="338"/></a></p>
<p><p>Mød Emil Krogsgaard Ravn, IT-konsulent hos Deloitte<br>og hør om hans vej fra kandidat i datalogi på IT-Universitetet til konsulent i Deloitte, hvor han arbejder med programmering, samarbejde og digitale løsninger på tværs af brancher.</p><p></p><p>Meet Emil Krogsgaard Ravn, Consultant in T&T Engineering at Deloitte – and hear about his journey from a Master’s degree in Computer Science at the IT University to working with programming, collaboration, and digital solutions across industries.</p></p><p><a href="http://video.itu.dk/photo/125416047/datalogi-hvad-kan-man-blive"><img src="http://video.itu.dk/64968566/125416047/3a9f933f925aa940575fc5dabe03cbe9/standard/download-31-thumbnail.jpg" width="75" height=""/></a></p>
<p><p>Mød Fei Fei, accountant på IT-Universitetet i København. Hør hende fortælle om sin rejse fra at starte uden erfaring til at finde faglig udvikling, fleksibilitet og et stærkt fællesskab. En historie om et arbejdsmiljø, hvor der er plads til både ambitioner og privatliv.</p><p></p><p>Meet Fei Fei, an accountant at the IT University of Copenhagen. Hear her share her journey from starting with no prior experience to finding professional growth, flexibility, and a strong sense of community. A story about a workplace that supports both ambition and work-life balance.</p></p><p><a href="http://video.itu.dk/photo/125414169/employer-branding-fei-fei-dieu-yan"><img src="http://video.itu.dk/64968570/125414169/8c61d9e107fb1e3a88864b67d882f90a/standard/download-16-thumbnail.jpg" width="75" height=""/></a></p>
<p><p>Hvordan er det egentlig at starte som forsker på IT-Universitetet i København?</p><p>Mød Doga Buse Cavdir, assistant professor og ph.d. fra Stanford University, som giver et personligt indblik i livet på ITU.</p></p><p><a href="http://video.itu.dk/photo/125066065/employer-branding-doga-buse-cavdir"><img src="http://video.itu.dk/64968567/125066065/9e741d5ff9367932dd49f4746118db90/standard/download-19-thumbnail.jpg" width="75" height=""/></a></p>
<p><p></p></p><p><a href="http://video.itu.dk/photo/124376635/itubrandfilmswu16x9med-logo-1"><img src="http://video.itu.dk/64968575/124376635/65ff1c1f277d1a12906cd680b1e5a9f5/standard/download-16-thumbnail.jpg" width="75" height=""/></a></p>
<p><p>Mød Sara og Osvald som studerer Softwareudvikling.</p><p>I denne video fortæller de om det faglige studiemiljø på ITU, hvor projekt- og gruppearbejde går hånd i hånd med et stærkt socialt fællesskab på tværs af studierne.</p></p><p><a href="http://video.itu.dk/photo/124278190/mod-sara-og-osvald-fra"><img src="http://video.itu.dk/64968579/124278190/b1f7f49989f592b705249ef5cfe09b29/standard/download-40-thumbnail.jpg" width="75" height=""/></a></p>
<p></p><p><a href="http://video.itu.dk/photo/123966818/data-science-abent-hus-2026"><img src="http://video.itu.dk/64968555/123966818/161ebd607ae7138df01e017eaa95fc7b/standard/download-15-thumbnail.jpg" width="75" height=""/></a></p>
<p><p></p></p><p><a href="http://video.itu.dk/photo/122530608/bachelor-i-softwareudvikling-hor-om"><img src="http://video.itu.dk/64968577/122530608/71db37e91951af0af31731309649026e/standard/download-42-thumbnail.jpg" width="600" height="338"/></a></p>
Claim this listing to keep it up to date, reach guests who want to pitch you, and manage bookings with Guestify.
Claim this listingMSP Radio
Earth Notes / Damon Hart-Davis
Anthony Fasano, PE, AEC PM, F. ASCE and James Taylor, JR., P.E.
Anthony Fasano, PE & Nick Heim, PE
