p-offtermatt
PhD in formal verification/theoretical compsci | Research Engineer @informalsystems working on the Cosmos Hub
Université de SherbrookeMunich
p-offtermatt's Following
p-offtermatt doesn’t have any following yet.
PhD in formal verification/theoretical compsci | Research Engineer @informalsystems working on the Cosmos Hub
Université de SherbrookeMunich
p-offtermatt doesn’t have any following yet.