Tobias Reinhard

Registered user since Thu 4 May 2023

Name:Tobias Reinhard
Country:Belgium
Affiliation:KU Leuven
Personal website: https://reito.eu
Research interests:Program Verification, Separation Logic, Bounded & Unbounded Proofs, Programming Languages, Static Analysis

Contributions