Starfish

我目前正在 VERIMAG 实验室攻读计算机博士学位。我的研究方向是类型论(Type Theory)。

我的研究兴趣很广泛，主要集中在理论计算机科学方面，包括

• 算法设计与分析
• 计算复杂性
• 逻辑和形式化方法

我很乐意和志同道合的朋友一起讨论问题。

我的计划

因为我对算法，逻辑，复杂性，以及计算理论比较感兴趣， 所以打算尽量把这方面的内容补充完整。不过我刚开始使用Wikipedia，暂时还不熟练， 只能一步一步慢慢来了 :P

目前维护的条目

离散数学

• 有序对
• 笛卡儿积
• 二元关系
• 偏序关系 偏序集
• 全序关系
• 等价关系
• 最小元
• 极小元
• 上界
• 最小上界 上确界
• 最大元
• 极大元
• 下界
• 最大下界 下确界
• 格
• 半格
• 分配格
• 有补格
• 有界格
• 布尔代数

计算理论

• 图灵机
• 多带图灵机
• 非确定型图灵机
• 枚举器
• 补语言
• 图灵可枚举语言
• 图灵可识别语言
• 图灵可判定语言