Aarhus Universitets logo
English
On Monday November 17, 2025, Pavel Manakhov will defend the PhD thesis 3D UI Placement for Interaction on the Go
On Monday November 17, 2025, Lasse Letager Hansen will defend the PhD thesis High Assurance Cryptographic Software using Rust and Rocq
Learn how ethical hackers get paid to secure the web, and start your own bug bounty journey! Join us and discover how you can supplement your SU by…
Kunstig intelligens er på rekordtid gået fra at være sci-fi til at blive en integreret del af vores hverdag. En højest nyttig teknologi der forventes…
Are you writing your bachelor project in the spring? Then remember to sign up (check your AU email) for the info meeting.
DATE: November 27 - TIME:…
The International Association for Cryptologic Research is hosting the annual conference TCC 2025.
Abstract:
Most static program analysis techniques do not fully verify all possible executions of a program. They leave executions unverified when…
Prepare your company for the future: Participate in Brainnovation Day at January 19th and gain insight on how businesses combine with IT research for…
Students from the IT Product Development program at Aarhus University present prototypes and demo from their bachelor projects.
Presentation of Annual Report and Talk about Netflix - followed by an informal reception.
Speaker: Dexter Kozen, Professor at Cornell University
Abstract: NetKAT is a…
Side 94 af 96
