HKU CS PhD year 4，希望能画个大饼叫 Counting and Sampling in Logic，目前在搞的东西是
- Weighted First-Order / Monadic Second-Order Model Counting / Sampling，通过 approximation、break symmetry 等方式泛化它，使它真的能用
- Hypergraph Independent Set Sampling
- (Approximated) Counting and Sampling，主要是 spin system 相关
一些许久没碰的题：
- Fine-Grained Complexity + Zero-Knowledge Proof,
- Cooperative Game Theory,
- Markov Equivalent DAG counting / sampling.
大概从大二起，多重因素影响下，选择了 TCS 的道路。老板啥都做一点，但即便如此还是不幸与他方向重合度一般。如果有什么送给后辈的经验那一定是，选老板一定不要冲动，不要看见个 PhD 就飞蛾扑火
退役竞赛选手，AF OIer+ACMer，中山大学_无人之境 (SYSU_Unhindered) 45th World Final (Dhaka) 进了但是去不成，46th World Final (Luxor) 并列 26 名。出过些许题，为 OI 和 XCPC 贡献过一点锅绵薄之力。
LoveLiver，2016 年暑假入坑，恰逢缪退役水兴起之时，大约是个水水人+前四代 dd。二次元三次元手游谷子全方位厨，会看 live，现地过星 3rd、星 4th、AZUNA 1st 、小组甲子园、2024 亚巡广州上海场、水 FL，希望能去 LL Fes 2。LL Days 封面好看的就会买。
动画喜欢看废萌、日常、轻百合、偶像，热番和猎奇番偶尔看，高质量老番慢慢补。逛漫展会去偶像舞台应援。
不宅的时候也很阳光的，hiking 和暴走爱好者，喜欢游历山水，走街串巷，骑行或步行遍历城市，偶尔随机游走，会跑步。
有一位美丽的姑娘一起前进。
正在做的事
- 找工作找博后找教职
- 随心做科研
- 看东方幻想万华镜、小南极、Clannad 第1季、摇曳露营第1季、邪神与厨二病第1季
- 争取有时间读 LL Days、美学哲学理论、文学理论