Sean Kristian Remond Harbo

Bengtson, J. (Host)

Theoretical Computer Science

Activity: Hosting a visitor types › Hosting an academic visitor

Description

Attend course on “Program Verification”

Period	31 Jan 2025 → 1 Jul 2025
Visiting from	Aalborg University (Denmark)
Visitor degree	Masters
Country/Territory	Denmark