Aarhus University logo
Dansk
Department of Computer Science
Title
Programming Education in a World of AI-Generated Code
Abstract
Generative AI is changing the way software is developed and raising broader…
PARK forvandler Aarhus’ smukke universitetspark til en gratis, udendørs vidensfestival, der forener forskning, musik, litteratur og kunst. Under…
Ira Assent, professor i datalogi, Aarhus Universitet
Ira Assent, professor i datalogi, Aarhus Universitet og Philipp Schröder, professor i økonomi, Aarhus Universitet diskuterer AI's…
On August 27, 2026, Kristen Nygaard would have turned 100 years.
On this occasion, Aarhus University will mark the day and pay tribute to Kristen…
Thursday, August 27, Jakob Burkhardt will defend his PhD thesis: Efficient, Secure, Private: Protocols for a Distributed World
Tba
----------------
Everyone is welcome!
There will be refreshments after the lecture.
Abstract:
Logic and semantics are important tools in computer science. For instance, they allow us to verify both large computer programs and large…
How worried should we be?
Computational thinking is becoming a fundamental skill for everyone, not just for computer scientists. Presently, the need for this skill…
- An Introduction to Iris
Page 104 of 191
