Vytautas Astrauskas
ETH Zurich
Speaker for “Beyond Memory Safety”
Vytautas obtained his doctoral degree at ETH Zurich, where he, with colleagues, created Prusti, a tool for proving Rust programs correct.
ETH Zurich
Speaker for “Beyond Memory Safety”
Vytautas obtained his doctoral degree at ETH Zurich, where he, with colleagues, created Prusti, a tool for proving Rust programs correct.