Philip Offtermatt

icon indicating a website link https://p-offtermatt.github.io/

icon location Munich icon location PhD in formal verification/theoretical compsci | Research Engineer @informalsystems working on the Cosmos Hub

Results 0 repositories owned by Philip Offtermatt