Skip to main content ITU

ITU

Uddannelser
Efteruddannelser
Forskning
- Forskningsenheder
- Forskningscentre
- Forskningsektioner
- Forskningsgrupper
- Labs
- Forskningsetik og -integritet
- God forskningspraksis
- Tekniske rapporter
- Tekniske rapporter
- Ph.d.-skole
- Om Ph.d.-skolen
- Ph.d.-kurser
- Ph.d.-forsvar
- Ph.d.-stillinger
- Ph.d.-håndbog
- Ph.d.-support
Innovation & Samarbejde
Om ITU
ENG

ITU / Presse / Nyheder fra ITU / CAST IT: At verificere en million decimaler af pi

CAST IT: At verificere en million decimaler af pi

I denne podcast taler Thore Husfeldt med Yves Bertot, en førende forsker inden for softwarekorrekthed og verifikation af matematiske beviser.

Forskning cast IT software Thore Husfeldt

Skrevet 19. april 2018 08:55 af Vibeke Arildsen

OM CAST IT

Cast IT er en populærvidenskabelig podcast om it med ITU-lektor Thore Husfeldt som vært.

Se alle episoder her.

Yves Bertot er seniorforsker ved French Institute for Research in Computer Science and Automation (INRIA) i Sophia Antipolis og en førende forsker inden for softwarekorrekthed og verificering af matematiske beviser.

Sammen med sit forskerhold formåede han for nylig at verificere pi's decimalciffer nummer én million. Dette resultat er afsættet for en snak om blandt andet matematiske læresætninger og softwarekvalitet.

Nyheder

Bevilling på 6,99 mio. kr. skal gøre sprogmodeller bedre til sprog

Bevilling på 6,99 mio. kr. skal gøre sprogmodeller bedre til sprog

18. december 2025

Carlsbergfondet finansierer lektor på ITU, Rob van der Goots projekt, der skal gøre sprogmodeller bedre til at afkode sproglige signaler.

Ekspert: AI-effektivisering af det offentlige kan blive dyrt

Ekspert: AI-effektivisering af det offentlige kan blive dyrt

16. december 2025

Ambitiøse mål om automatisering møder lav organisatorisk parathed og skjulte omkostninger, advarer forsker.

ITU-forskere hædres med international pris

ITU-forskere hædres med international pris

16. december 2025

AIS Impact Award går for første gang til danske forskere og anerkender ITU-forskning, der er toneangivende for etisk brug af blockchainteknologi.

ITU-forskningsprojekt stiller skarpt på hvordan AI ændrer os som mennesker

ITU-forskningsprojekt stiller skarpt på hvordan AI ændrer os som mennesker

24. november 2025

Professor ved ITU, Jichen Zhu, har sikret 7,19 millioner kroner fra Danmarks Frie Forskningsfond til et nyt projekt, der undersøger, hvordan mennesker bruger kunstig intelligens i forbindelse med følelsesgenkendelse – og hvordan man designer værktøjer, der understøtter en mere ansvarlig anvendelse.

ITU-forsker vil gøre AI mere troværdig

ITU-forsker vil gøre AI mere troværdig

21. november 2025

Lektor Christian Hardmeier har sikret 7,18 millioner kroner fra Danmarks Frie Forskningsfond. Bevillingen gives til et projekt, der undersøger, hvordan store sprogmodeller bedre kan kommunikere usikkerhed til brugerne.

Kan naturens egen designproces videreudvikle AI?

Kan naturens egen designproces videreudvikle AI?

20. november 2025

En ny lærebog skrevet af bl.a. ITU-professor Sebastian Risi og en række internationale samarbejdspartnere udforsker et felt, der kan ændre fremtidens kunstige intelligens.

Nordisk projekt med ITU-deltagelse skal styrke fremtidens medborgerskab

Nordisk projekt med ITU-deltagelse skal styrke fremtidens medborgerskab

6. november 2025

I en tid med algoritmer, misinformation og svækket tillid til institutioner skal børn og unge rustes til at navigere demokratisk i det digitale samfund. Et nyt nordisk projekt sætter fokus på løsninger – og lektor Gitte Stald fra IT-Universitetet i København spiller en central rolle.

Professorportræt: Oliver Krancher udforsker viden og læring i den digitale arbejdsplads

Professorportræt: Oliver Krancher udforsker viden og læring i den digitale arbejdsplads

3. november 2025

Professor Oliver Krancher har med sin baggrund i business information systems viet sin forskningskarriere til den rolle viden spiller i digitalt arbejde. Den 14. november holder han sin tiltrædelsesforelæsning på IT-Universitetet i København.

Klimaet ændrer sig – og det gør vi også

Klimaet ændrer sig – og det gør vi også

29. oktober 2025

Med 3,1 millioner kroner fra Danmarks Frie Forskningsfond skal lektor Vedran Sekara fra IT-Universitetet i København kortlægge, hvordan menneskers adfærd og mobilitet forandres i takt med klimaforandringerne.

Kan kunstig intelligens forudsige menneskelig adfærd?

Kan kunstig intelligens forudsige menneskelig adfærd?

27. oktober 2025

Hvad hvis det var muligt at læse hjernen som en bog? Paolo Burelli og hans kolleger ved IT-Universitetets brAIn Lab arbejder i krydsfeltet mellem digital teknologi og neurovidenskab. Den 5. november præsenterer Paolo Burelli deres forskning på Digital Tech Summit i oplægget “Decoding the Brain: How AI Unlocks Human Behavior”.

Professorportræt: Rasmus Ejlers Møgelberg skaber nye matematiske verdener

Professorportræt: Rasmus Ejlers Møgelberg skaber nye matematiske verdener

20. oktober 2025

Med en baggrund i matematik og en passion for disciplinens abstrakte højder udvikler Professor Rasmus Ejlers Møgelberg teorier, der bl.a. styrker forståelsen og robustheden af moderne software. Rasmus Ejlers Møgelberg holder tiltrædelsesforelæsning på IT-Universitetet d. 24. okt.

ITU-forskere modtager prestigefyldte Villum Experiment-bevillinger

ITU-forskere modtager prestigefyldte Villum Experiment-bevillinger

2. oktober 2025

Projekter inden for spædbørns kognition, robotteknologi og privatlivssikrende AI får støtte til tidlig forskning.

Cancan Wang vinder årets ITU Teaching Award

Cancan Wang vinder årets ITU Teaching Award

29. september 2025

Cancan Wang, som er lektor på ITU og del af Digitalization, Democracy, and Governance (DDG) er dette års vinder af ITU's undervisningspris. Læs mere om Cancan, hendes undervisningsfilosofi og betydningen af anerkendelsen her.

Professor Sami Brandt modtager af ITU Research Award

Professor Sami Brandt modtager af ITU Research Award

22. september 2025

Professor Sami Brandt blev den første til at modtage den nyindstiftede ITU Research Award. Læs priskomiteens begrundelse og find ud af mere om Sami Brandt og hans forskning.

Professorportræt: Eva Rotenberg vil gøre algoritmer simplere for vores alles bedste

Professorportræt: Eva Rotenberg vil gøre algoritmer simplere for vores alles bedste

22. september 2025

Den 3. oktober 2025 kl. 14:30 vil professor Eva Rotenberg holde sin tiltrædelsesforelæsning i Auditorium 02 på IT-Universitetet i København. Forelæsningen har titlen: “A story of shortest paths”.

Professorportræt: Luca Aiello vil gøre internettet til et bedre sted

Professorportræt: Luca Aiello vil gøre internettet til et bedre sted

15. september 2025

Den 24. september 2025 kl. 14.30, holder professor Luca Aiello sin tiltrædelsesforelæsning i Auditorium 0 på IT-Universitetet i København.

Professorportræt: Det lå i kortene, at Marco Carbone skulle være datalog

Professorportræt: Det lå i kortene, at Marco Carbone skulle være datalog

4. september 2025

Den 19. september 2025 kl. 15.00 holder professor sin tiltrædelsesforelæsning i Auditorium 02 på IT-Universitetet i København.

Professorportræt: Morten Hjelholt vil forstå den digitale velfærdsstat

Professorportræt: Morten Hjelholt vil forstå den digitale velfærdsstat

21. august 2025

Den 5. september 2025 kl. 15:00 vil professor og forskningschef Morten Hjelholt holde sin tiltrædelsesforelæsning i Auditorium 02 på IT-Universitetet i København. Forelæsningen har titlen: “Everywhere and Nowhere: The Digital State and Its Citizens”.

25 år med spil på ITU

25 år med spil på ITU

15. august 2025

I år fejrer spilforskning og -undervisning på IT-Universitetet i København sit 25-års jubilæum. Jubilæet markeres på ITU den 26. og 27. august med oplæg og en udstilling af spil udviklet af ITU’s studerende og alumner.

Jonas Juul modtager H.C. Ørsted Forskertalentprisen 2025

Jonas Juul modtager H.C. Ørsted Forskertalentprisen 2025

14. august 2025

Adjunkt på IT-Universitetet i København, Jonas Juul, har fået H.C. Ørsted Forskertalentprisen 2025. Jonas Juul får prisen for sin forskning indenfor sociale netværk, informationsteknologi og komplekse systemers fysik.

Kontakt os

Telefon

+45 7218 5000

E-mail

Alle kontaktoplysninger

Tilgængelighedserklæring

Find os

IT-Universitetet i København
Rued Langgaards Vej 7
2300 København S
Danmark

Følg os

ITU Student /
Privatliv /
EAN-nr. 5798000417878/
CVR-nr. 29 05 77 53 /
P-nummer 1005162959

Denne side er udskrevet fra http://ebc.itu.dk/layouts/itu_responsive/General%20Browser.aspx