关于

Working on tencent, focus on PL implementation, interested in PL/Static Analysis/Security related techniques.

目前就职腾讯，工作内容是程序语言的设计与实现，对程序语言、静态分析、软件安全相关内容感兴趣。