Department of Computer Science

Aarhus University Seal
 Department of Computer Science News & Events Events Show event

Benjamin Salling Hvass's PhD defence of "Foundational Verification of Cryptographic Primitives"

Info about event

Time

Wednesday 12 April 2023, at 15:00 - , at

Add to calendar

Location

Building 5510, room 104, Incuba Lille Auditorium, Åbogade 15, 8200 Aarhus N

Price

Free DKK
Event website

On Wednesday, April 12 2023, Benjamin Salling Hvass will defend his PhD thesis: Foundational Verification of Cryptographic Primitives

Read more here.

Future Events

Inaugural lecture by Davide Mottin on Unveiling the dark side of AI and the quest for truth (25% AI-generated title)

3 May
Friday 3 May 2024, at 14:15 Peter Bøgh Auditorium, Building 5335, Room 016, Helsingforsgade 14, 8200 Aarhus N

Title
Unveiling the dark side of AI and the quest for truth (25% AI-generated title)

Abstract
A few years ago the question "Are smart devices really…

Open house: Come visit the Department of Computer Science

5 May
Sunday 5 May 2024, at 10:00

Are you curious about what it is like to study Computer Science or IT Product Development? On May 5, the Institute of Computer Science is opening its…

Inaugural lecture by Chris Schwiegelshohn

31 May
Friday 31 May 2024, at 14:15 Peter Bøgh Auditorium, Building 5335, Room 016, Helsingforsgade 14, 8200 Aarhus N

Title
TBA

Abstract
TBA

Graduation Event 2024

28 Jun
Friday 28 June 2024, at 15:00

The graduation ceremony is the Department's opportunity to congratulate and celebrate those of you, who have graduated from the Department of Computer…
Revised 17.04.2023
-
Marianne Dammand Iversen