HKU CS PhD year 2，目前在搞的东西是
- Weighted First-Order Logic Model Counting / Sampling，及其 parameterized complexity,
- Uniform Graphlet Sampling (streaming ver.),
- Markov Equivalent DAG counting / sampling,
- $\mathsf{\sharp P_1}$ 这个类的 completeness、reduction、open problems.
一些许久没碰的题：
- Fine-Grained Complexity + Zero-Knowledge Proof,
- Cooperative Game Theory.
姑且算是有条主线叫 counting / sampling，虽然我更喜欢 complexity / cryptography。
大概从大二起，多重因素影响下（竞赛算法经历、AI 现状、对某学长的个人崇拜），选择了 TCS 的道路。稍微可惜的是选的老板并不是 complexity 背景的，我们方向重合度一般。如果有什么送给后辈的话那一定是，选老板一定不要冲动，不要看见个 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 和小组甲子园，LL Days 封面好看的就会买。目前最大的期待是现地水 final、2024 年 10 月的广州上海 LL 系列公演。
动画喜欢看废萌、日常、轻百合、偶像，热番和猎奇番偶尔看，高质量老番慢慢补。逛漫展会去偶像舞台应援。
不宅的时候也很阳光的，hiking 和暴走爱好者，喜欢游历山水，走街串巷，骑行或步行遍历城市，偶尔随机游走，会跑步。
有一位美丽的姑娘一起前进。
正在做的事
- 做有挑战的题
- 看 Clannad 第1季、摇曳露营第1季、海豹突击队第1季、赛马娘第2季、莲之空、前进吧登山少女第2季、鬼灭第1季
- 争取有时间读 LL Days、美学哲学理论、文学理论
- 教 python