YunYan

From Taiwan, YunYan is a functional developer at Marigold, he specializes in protocol improvement for Tezos. Notably, he works on storage cache and Baking account. YunYan worked in Taiwanese information science research center, and thus has experience regarding the formal method, functional language and type theory.