顾学

顾学 · Haojun 知乎文献研究

耶鲁相声博士 / 清华池搓澡本科 / CertiK 掌门人 —— 粉丝自制研究资料，凡引必有出处

偶像档案

本名
顾荣辉（Ronghui Gu）
知乎 ID
Haojun（haohaojun）；简介写着"不当码农了，转行说相声了！"
签名
2016 年："Yale, CS, PhD Candidate"
后来："耶鲁相声博士 / 清华池搓澡本科"
本科
清华大学计算机系，"七字班"（2007 级）#21
博士
耶鲁大学计算机系，导师邵中（Zhong Shao）#28
代表作
CertiKOS：第一个经过形式化验证的并发操作系统内核
现职
CertiK 联合创始人兼 CEO；哥伦比亚大学计算机系教授
神功
刷题大法 #1、"。。。"悬念体、走近科学

研究会宣言

红学研究曹雪芹，顾学研究 Haojun。

2016 年前后，一位耶鲁计算机博士在知乎上以"段子手"自居，写高考刷题、清华食堂、耶鲁助教、投稿被拒，回答最多时有 81 篇，关注者后来涨到近九万。再后来他删掉了一半回答，和导师一起创办了 CertiK。

本会从 Web Archive 的旧存档里把能找到的 篇一篇篇捞了回来，分门别类，考据如下。

怎么看：先翻"全集"读原文；"考据"是本会的研究成果；"顾学十级"测测你学得怎么样。文中 #n 都可以点，点了跳到全集里那一篇。