Dominique Unruh

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

research

∙ 05/23/2021

We present a generic theory of "registers" in imperative programs and in...

research

∙ 07/28/2020

We add local variables to quantum relational Hoare logic (Unruh, POPL 20...

research

∙ 03/20/2019

We present a variant of the quantum relational Hoare logic from (Unruh, ...

research

∙ 02/01/2019

Quantum Hoare logic allows us to reason about quantum programs. We prese...

research

∙ 02/09/2018

We present a logic for reasoning about pairs of interactive quantum prog...