SPLASH 2023 (series) / Tobias Reinhard
![Tobias Reinhard](https://2023.splashcon.org/getProfileImage/tobiasreinhard1/f12c1c71-3cab-4ffc-9a3b-bb3ce567dab0/small.jpg?1712605317000)
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
SPLASH 2023-profile
View general profile
View general profile