Home » user account

yzhang

Personal information


China

male

Type theory, semantics, lambda calculus, functional programming (Ocaml, Haskell), verification, security, multicore, static analysis ...

History


18 years 20 weeks