跳至內容

用戶:Starfish

維基百科,自由的百科全書

我目前正在 VERIMAG 實驗室攻讀計算機博士學位。我的研究方向是類型論(Type Theory)。

我的研究興趣很廣泛,主要集中在理論計算機科學方面,包括

  • 算法設計與分析
  • 計算複雜性
  • 邏輯和形式化方法

我很樂意和志同道合的朋友一起討論問題。

我的計劃

因為我對算法,邏輯,複雜性,以及計算理論比較感興趣, 所以打算儘量把這方面的內容補充完整。不過我剛開始使用Wikipedia,暫時還不熟練, 只能一步一步慢慢來了 :P

目前維護的條目

離散數學

計算理論

邏輯

算法

複雜性