Brethland's Blog


My latest resume could be reached here.

  • English edition
  • Something about myself

    Nothing interesting, I promise.

    1. Undergraduate of NJUPT, major in computer science.

    2. I am interested in following terms:

      • Complexity and NP-Complete
      • Programming Language Theory and Types Theory
      • Natural Language Processing and Semantics
      • Linguistic and Hermeneutics
      • Mythology and Legends
      • Middle-Century History

      And I am focus on following terms:

      • Software Foundations
      • Type System
      • PT Site Development(SOPT)
    3. Former OIer, ICPCer.

    4. Fake Literature and Otaku amateur, Hate (Love) Kyoto Animation.

    5. Influenced by Heidegger and Kant.

    6. Communications:


    If you wish to take me as a friend, mail to me please.


    Designed By Brethland 2019, Generated By Typora