User:Starfish

维基百科，自由的百科全书

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

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

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

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

我的计划[编辑]

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

目前维护的条目[编辑]

离散数学[编辑]

计算理论[编辑]

逻辑[编辑]

算法[编辑]

复杂性[编辑]

取自“https://zh.wikipedia.org/w/index.php?title=User:Starfish&oldid=5929674”