Mate is a formal verification engineer at the Ethereum Foundation and occasionally does research in formal verification at various universities. He is currently working on hevm, a symbolic execution engine for finding issues with digital contracts.