Johannes Hostert
@jhostert@mathstodon.xyz
Joined: 02/22/2026
About Johannes Hostert
Ph.D. Student @ ETH Zürich, working on Rust and Separation Logic. Type theorists at heart.
Lists
jhostert has no public lists
Timeline
jhostert has no activity yet
@jhostert@mathstodon.xyz
Joined: 02/22/2026
Ph.D. Student @ ETH Zürich, working on Rust and Separation Logic. Type theorists at heart.
jhostert has no public lists
jhostert has no activity yet