维基百科,自由的百科全书
我目前正在 VERIMAG 实验室攻读计算机博士学位。我的研究方向是类型论(Type Theory)。
我的研究兴趣很广泛,主要集中在理论计算机科学方面,包括
我很乐意和志同道合的朋友一起讨论问题。
[编辑] 我的计划
因为我对算法,逻辑,复杂性,以及计算理论比较感兴趣, 所以打算尽量把这方面的内容补充完整。不过我刚开始使用Wikipedia,暂时还不熟练, 只能一步一步慢慢来了 :P
[编辑] 目前维护的条目
[编辑] 离散数学
[编辑] 计算理论
[编辑] 逻辑
[编辑] 算法
[编辑] 复杂性