Aarhus University logo
I will present my results towards a formally secure extraction framework for the proof-oriented language F* that protects verified F* programs against…
The mode of a logic program says which parts of a predicate’s arguments are inputs, and which are outputs. A program is mode-correct when information…
The talk will on one hand provide an overview of the past 15 years of research and development of theory theory and tools for Dynamic Condition…
Algorithmic Structure in Weak Memory and RDMA Verification
Weak memory models invalidate many classical assumptions underlying program verification,…
Associate Professor Robin Kaarsgaard Sales (University of Southern Denmark) presents a “free” model of quantum computing that replaces continuous…
In this talk, I’ll share my story of how I went from being Lars’ PhD student, doing theoretical computer science, to working as a software engineer in…
Page 1 of 4
