Michael Walter
Michael Walter works with Zama on verifiable fully homomorphic encryption. His research combines encrypted computation with zero-knowledge proofs, including using recursive proofs to verify TFHE bootstrapping and the correct execution of computations on encrypted data.