Person. Reto Achermann Assistant Professor · Technical University of Munich · retoachermann.ch · 0000-0003-3263-7236 Papers Verus: A Practical Foundation for Systems Verification lattuada-2024-verusSOSP · 2024 DOI