简介

子彦是一名全栈开发者。

子彦致力于改善编程语言和开发工具，从而简化人们学习编程的方式和开发者的工作方式。

编程语言：子彦致力于设计安全的通用语言和领域特定语言，这些语言具有良好的抽象、较高的开发效率和多样化的编程范式。子彦观察到，大部分的软件缺陷（即 bug 和安全漏洞）虽然看上去不过是代码里普通的错误，但可以追溯到语言中潜在、微妙的设计缺陷（例如[1][2]）。他认为精心设计的语言可以从根本上消除这些软件缺陷，远远早于开发者开始编写代码。

开发工具：子彦致力于提高用各种语言编写的代码的质量，他的方式是设计静态分析器、工具库和框架。静态程序分析能够检测潜在的 bug，提供可行的修复方案，并提高开发者的技术水平。他专注于基础技术，试图在分析的可靠性和完备性之间找到更好的平衡。

只有拥有良好的语言和工具，开发者才能发挥最大的才能。

参考资料
[1]	空指针：十亿美元的错误
[2]	Java 和 Scala 的类型系统并不可靠

研究兴趣

编程语言
- 静态程序分析
- 语言设计
- 编译器优化
- 运行时环境
软件工程
- 智能合约（区块链）

教育背景

中山大学，2020 – 2022
- 软件工程，硕士
- 导师：陈湘萍、周晓聪
华南师范大学，2014 – 2019
- 计算机科学与技术，学士（优秀毕业生）
- 导师：朱佳

经验

2022 – 2023：深度学习编译器工程师
2021：教学助理，中山大学张献伟讲授的编译原理课程
2020：软件工程师，北京公瑾科技有限公司

主要荣誉

华南师范大学百名优秀毕业生（入选率 < 2%），2019
连续两年华南师范大学一等奖学金（1.4%），2017 & 2018
亚太地区数学建模竞赛特等奖（0.1%），2018
蓝桥杯软件和信息技术专业人才大赛一等奖（0.3%），2018
凯通杯 Java 程序设计竞赛一等奖（0.1%），2017

开源项目

（GitHub 100+ 星，月下载量 10万+，被微软采用）

论文

Solidity 语言特性实证研究，电气和电子工程师协会软件质量、可靠性和安全性国际会议（IEEE QRS-C），2021 年 12 月，第一作者 [论文]
智能合约中低效率的气体消耗模式的描述和检测，计算机科学技术学报（JCST），2022 年 1 月，第二作者 [论文]

闲谈

智能合约安全科普，InplusLab 内部分享会，广州，2021 年 3 月 [幻灯片]

个人兴趣

语言学（人工语言，综合语）
心理学（发展心理学）
策略游戏（棋类，塔防）
轻音乐（钢琴）

生活方式：子彦是一名进步主义者，过着最小依赖的生活。心之所向，素履以往。他鼓励人们像《月亮与六便士》中的斯特里克兰一样，朴素地追寻自己的理想。

隐私权：子彦认为隐私权是一项基本人权。他指引人们保护隐私，帮助人们更好地保持个人数据私密且不受监视。

一个女人身后的墙上挂着一个监控摄像头，摄像头正看着她。她坐在办公桌前使用她的笔记本电脑。

编程语言

Java/C#, TypeScript/JavaScript, Python, Scala, Kotlin, Go, C/C++, Haskell, ...

语言

中文，英语，世界语，德语

点亮灯塔

子彦优先帮助最有希望的人才和最不发达地区的孩子。换句话说，他支持：

科学与工程领域的研究
促进社会公平的行动，尤其是教育公平

子彦捐助的组织名单

联合国儿童基金会
宁波市善园公益基金会
上海市华侨事业发展基金会
陕西省慈善协会
深圳市社会公益基金会
中国少年儿童基金会
中国社会福利基金会

此名单不完整，更新可能延迟

子彦关注世界范围内的人道主义问题，无论国籍或种族。他是世界公共网格计划的志愿者，通过科技解决疾病和可持续发展问题。

用于美化网页的插图