Liang Yu ()

Professor
Institute of Mathematical Science,
Nanjing University,
Nanjing, JiangSu province 210093,
P.R. of China.

Office:MMW Building 1110-4
Phone:86-25-83593199
Fax:86-25-83593199, 86-25-83686411

Email:

"For me logic is about definability, but that could be a recursion theorist talking."
                                                                                           Gerald E. Sacks


  • Semester on computability, complexity and randomness.
  • Asian Mathematical Conference 2013.
  • NUS Logic Summer School.
  • The 13th Asian Logic Conference (Abstracts submission).
  • Conference on computability, complexity and randomness.
  • A New Recursion Theory Book.
    Album.
    Courses.
    Grants.
    Logic Seminar at IMS.
    Papers.
    Talks.
    Some links:
    1. AMS
    2. Arxiv
    3. Association for Symbolic Logic (Join here)
    4. Computability Theory
    5. Logic Blog 2013(Maintained by Andre Nies)
    6. Logic at Fudan
    7. MathSciNet Search
    8. Nanjing University
    9. Math Dept of NJU

    My research interests include recursion theory, set theory and algorithmic information theory. Also I have been seeking for some interactions among these areas and with other math branches.


    Some questions: pdf



    free counters


    Last Updated: 17-May-2012, Liang Yu