Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
Kwok Wai Lui
AkasakaJelos
ETHZ-EPFL CyberSec, interested in crypto like ZKP or Formal Verification and more
Switzerland