USI Verification And Security Lab
Users following usi-verification-and-security
Mohammad Hossein Khoshechin Jorshari
joulook
Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory
Germany
Mauro Bringolf
maurobringolf
Software engineer who likes static types and functional programming. Climbs small rocks in his free time.
Zürich, Switzerland
