A Software Engineer based in Kuala Lumpur, Malaysia.
I am now writing compiler and shipping products.
I believe in correctness of program. Therefore, Iโm studying Type Theory and Formal Verification of program in my spare time.
You can reach out to me at Twitter @zhengyanpeh and LinkedIn Zheng Yan Peh