关于
Master's Student · Theoretical Computer Science
我是一名硕士预科生，研究兴趣集中于数理逻辑、类型论与计算的理论基础的交汇处。我的长期目标是理解形式化方法与逻辑如何阐明——并约束——计算系统的能力边界。
问题不在于机器是否能思考，而在于我们是否能知道它们何时在思考——以及这个问题本身意味着什么。
我大量阅读——数学、心灵哲学和偶尔的小说。我在随笔中记录读书笔记。我也喜欢摄影和在建筑优美的地方漫步。essays
教育经历
Your University
Master's Preparatory Program · Department of Computer Science
- Focus: mathematical logic, type theory, computational complexity
- GPA: X.XX / 4.00
研究方向
- Proof theory & type theory — Curry–Howard correspondence, dependent types, proof assistants (Coq, Lean 4, Agda), normalization by evaluation
- Mathematical logic — Model theory, set theory, computability theory, descriptive complexity
- Computational complexity — Circuit complexity, oracle separations, interactive proofs, randomized algorithms
- Foundations of ML — PAC learning theory, VC dimension, statistical learning theory, information-theoretic bounds
科研经历
Research Assistant
Your University · Supervisor: Prof. X
Investigating the expressibility of higher-order recursion schemes via game semantics and modal mu-calculus.
发表论文
技能
编程语言
HaskellPythonOCamlTypeScriptLaTeXCoqLean 4
数学
Real AnalysisAbstract AlgebraTopologyMathematical LogicProbability
工具
GitLinux / NixOSEmacsVS CodeJupyterDocker
语言
Chinese (native)English (fluent)Japanese (reading)
荣誉奖项
Award Name — Institution 2024
联系方式
Email: you@example.com
GitHub: github.com/yourhandle